integral sin(x)*cos(x), from pi/4 to pi