Если хотите, можете упростить

cos (pi/2-pi*x/4)=sin (pi*x/4).