利用MAPLE对三角函数简化用什么命令可以把2*cos((1/2)*x)^2-1 变成 cos(x)