integrate sin(x)*sin(2x)/pi from 0 to pi