integral (5*sin((x-6)*pi/12)-2) from 7.57188 to 18-1.57188