integral from x=0 to x=pi/2 of abs(2sinx-2cos(2x))dx