x/2%20exp(-x%5E2/4)*(erf(-x/2)-erf(-1-x/2))%20in%20(2,7)