Improving the performance of Gaussian.cdf(x)