Derivative of arcsec(2x - x)