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;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

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)))))