3 cos(2(x+pi/6)) at x=(pi/2-5pi/12)