первое, что нужно сделать ---вынести общий множитель:
V32*(cos^2(13pi/8) - sin^2(13pi/8)) ---в скобках формула ---косинус двойного аргумента
V32*cos(13pi/4) = V32*cos(3pi+pi/4) = V32*cos(pi+pi/4) = V32*(-cos(pi/4)) = V32*(-V2/2) =
-V64 / 2 = -8/2 = -4