COS(2X-派/2)怎么化简?