integrate e^(-t^2) from 0 to 1