d/dx(x^2 + \cos^2(x) \ln(\cos(x))) from 0 to pi/2