int(8/2*(5*cos(2*x))^2,x=0..pi/4)