derivative of inverse secant proof