integral from 0 to cos(x^3) of e^(x^2)dx