Average Error: 0 → 0
Time: 453.0ms
Precision: 64
\[4 \cdot \tan^{-1} 1\]
\[4 \cdot \tan^{-1} 1\]
4 \cdot \tan^{-1} 1
4 \cdot \tan^{-1} 1
double f() {
        double r638677 = 4.0;
        double r638678 = 1.0;
        double r638679 = atan(r638678);
        double r638680 = r638677 * r638679;
        return r638680;
}

double f() {
        double r638681 = 4.0;
        double r638682 = 1.0;
        double r638683 = atan(r638682);
        double r638684 = r638681 * r638683;
        return r638684;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[4 \cdot \tan^{-1} 1\]
    2. Final simplification0

      \[\leadsto 4 \cdot \tan^{-1} 1\]

    Reproduce

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