half-angle formulas cos(x)

Input interpretation

cos(x) | half-argument formula