Average Error: 0 → 0
Time: 2.6s
Precision: 64
\[\mathsf{erf}\left(4\right)\]
\[\mathsf{erf}\left(4\right)\]
\mathsf{erf}\left(4\right)
\mathsf{erf}\left(4\right)
double f() {
        double r1021101 = 4.0;
        double r1021102 = erf(r1021101);
        return r1021102;
}

double f() {
        double r1021103 = 4.0;
        double r1021104 = erf(r1021103);
        return r1021104;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\mathsf{erf}\left(4\right)\]
    2. Final simplification0

      \[\leadsto \mathsf{erf}\left(4\right)\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "erf(4)"
      :precision binary64
      (erf 4))