derivative of -cos(x) + cos^3(x)/3