[x^2-173]