The derivative of arctanx