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