integral from 0 to 2pi cos(x)²