integrate sin(sin(x)) from 0 to pi