integrate (integrate sin(x) cos(y) dx from 0 to y) dy from 0 to pi/2