f(x)=1-cos2x怎么化简