cos(3*x)*cos(3*x) in terms of sin(6*x)