minimum 2sin^3x + 3/4 sin 2x + 9/2 cos 2x - 9cos x - 3/2 x + 6 for 0<x<pi/2