cos(a+π/2)=sin?