derivative of -2 ln (2-sec^2(x))