0<x<\pi/12 and [2cos(3x)+1]*(sin(30 Degree -2x))=1/2