integral of 2*cos(x) from 0 to pi/2