integral of sin(x) cos(x) from 0 to pi