2-1= 1 is for losers.

cos2 (x) + sin2 (x) = (eix + e-ix )2 /4 + sin2 (x) = (e2ix + e-2ix )/4 + e2ln(sin(x)) + 1/2 =1

or

int_{0} ^ {π/2} {x * prod_{j = 1} ^ {∞} {cos(x / 2j )}} dx