Цитата
Возможно, опять не самый простой путь, но запишите cos2x как sin(Pi/2-2x) и примените формулу разности синусов

получилось y=sqrt2(2cosPi*sin[(-Pi\2-4x)\2]