(cos x)^2 = ((integrate (cos x)^2 dx from x=0 to pi) / pi)