int (1-(sin(x))^2/2) dx, x from 0 to pi/2