1-2cos^2(π/4-a/2)
=1-2sin^2(π/2-(π/4-a/2))
=1-2sin^2(π/4+a/2)
=cos(2(π/4+a/2))
=cos(π/2+a)
=-sina