{\displaystyle {\tfrac {1-\cos(2x)}{2}}=\sin ^{2}x}