derivative ln(1+(cosx)^2)