0xerftt=xerfx+1π(-x2-1).