Recall the following identities:
sin²(<em>x</em>) = (1 - cos(2<em>x</em>))/2
cos²(<em>x</em>) = (1 + cos(2<em>x</em>))/2
Then
sin²(<em>π</em>/8) = (1 - cos(<em>π</em>/4))/2 = (1 - 1/√2)/2
cos⁴(3<em>π</em>/8) = (cos²(3<em>π</em>/8))² = ((1 + cos(3<em>π</em>/4))/2)² = ((1 - 1/√2)/2)²
and so
sin²(<em>π</em>/8) - cos⁴(3<em>π</em>/8) = (1 - 1/√2)/2 - ((1 - 1/√2)/2)²
… = (1 - 1/√2)/2 • (1 - (1 - 1/√2)/2)
… = (2 - √2)/4 • (1 - (2 - √2)/4)
… = (2 - √2)/16 • (4 - 2 + √2)
… = (2 - √2)(2 + √2)/16
… = (4 - 2)/16
… = 1/8