Average Error: 0.1 → 0.1
Time: 6.7s
Precision: 64
\[\frac{a_long}{{psi}^{2}}\]
\[\frac{a_long}{{psi}^{2}}\]
\frac{a_long}{{psi}^{2}}
\frac{a_long}{{psi}^{2}}
double f(double a_long, double psi) {
        double r1468849 = a_long;
        double r1468850 = psi;
        double r1468851 = 2.0;
        double r1468852 = pow(r1468850, r1468851);
        double r1468853 = r1468849 / r1468852;
        return r1468853;
}

double f(double a_long, double psi) {
        double r1468854 = a_long;
        double r1468855 = psi;
        double r1468856 = 2.0;
        double r1468857 = pow(r1468855, r1468856);
        double r1468858 = r1468854 / r1468857;
        return r1468858;
}

Error

Bits error versus a_long

Bits error versus psi

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\frac{a_long}{{psi}^{2}}\]
  2. Final simplification0.1

    \[\leadsto \frac{a_long}{{psi}^{2}}\]

Reproduce

herbie shell --seed 1 
(FPCore (a_long psi)
  :name "a_long / psi^2"
  :precision binary32
  (/ a_long (pow psi 2)))