d/dx(1/2 x^3 - 3 x^2 + 9/2*x - cos( pi/2 (x-1)) - 1)