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