sin^2(pi/8 + x/2) - sin^2(pi/8 - x/2) simplify