integrate sin(x) + cos(x) over 0 to pi/2