cos(π/4-2a)sin(π/4-2a)=[cos(4a)]/2=1/4