integrate sin(8x^2) from 0 to 0.8