0.5 * erfc(-x / sqrt(2))