integrate from 0 to x e^(-3t^2) dt