kill(all)$

van=facebook.com/LearningCalculus;

f(x) := %e^(-x^2/2);

F(x):=''(integrate(f(x),x));

F(inf)-F(minf);

integrate(f(x),x,minf,inf);

float(%);