modulus( x^2-1)