plot | integral_(-∞)^x 1/sqrt(2π)*e^(-t^2/2) dt