derivative of sec^2(x/12)