integrate cosxdx from 0 to pi/2