int from 0 to pi/2 of (sin (x)) * (-cos(x)) dx + 1