integrate sin(2x) sin(x) from 0 to Pi