Average Error: 0.0 → 0.0
Time: 11.0s
Precision: 64
$0.5 \cdot \mathsf{erfc} \left(\frac{-x}{\sqrt{2}}\right)$
$0.5 \cdot \mathsf{erfc} \left(\frac{-x}{\sqrt{2}}\right)$
0.5 \cdot \mathsf{erfc} \left(\frac{-x}{\sqrt{2}}\right)
0.5 \cdot \mathsf{erfc} \left(\frac{-x}{\sqrt{2}}\right)
double f(double x) {
double r16836944 = 0.5;
double r16836945 = x;
double r16836946 = -r16836945;
double r16836947 = 2.0;
double r16836948 = sqrt(r16836947);
double r16836949 = r16836946 / r16836948;
double r16836950 = erfc(r16836949);
double r16836951 = r16836944 * r16836950;
return r16836951;
}


double f(double x) {
double r16836952 = 0.5;
double r16836953 = x;
double r16836954 = -r16836953;
double r16836955 = 2.0;
double r16836956 = sqrt(r16836955);
double r16836957 = r16836954 / r16836956;
double r16836958 = erfc(r16836957);
double r16836959 = r16836952 * r16836958;
return r16836959;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.0

$0.5 \cdot \mathsf{erfc} \left(\frac{-x}{\sqrt{2}}\right)$
2. Final simplification0.0

$\leadsto 0.5 \cdot \mathsf{erfc} \left(\frac{-x}{\sqrt{2}}\right)$

# Reproduce

herbie shell --seed 1
(FPCore (x)
:name ".5 * erfc(-x / sqrt(2))"
(* 0.5 (erfc (/ (- x) (sqrt 2.0)))))