Average Error: 0.2 → 0.0
Time: 17.0s
Precision: 64
\[\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(b \cdot b\right)\right) - 1\]
↓
\[\left(4 \cdot \left(b \cdot b\right) + {\left(\sqrt{b \cdot b + a \cdot a}\right)}^{4}\right) - 1\]
\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(b \cdot b\right)\right) - 1
↓
\left(4 \cdot \left(b \cdot b\right) + {\left(\sqrt{b \cdot b + a \cdot a}\right)}^{4}\right) - 1
double f(double a, double b) {
        double r7950131 = a;
        double r7950132 = r7950131 * r7950131;
        double r7950133 = b;
        double r7950134 = r7950133 * r7950133;
        double r7950135 = r7950132 + r7950134;
        double r7950136 = 2.0;
        double r7950137 = pow(r7950135, r7950136);
        double r7950138 = 4.0;
        double r7950139 = r7950138 * r7950134;
        double r7950140 = r7950137 + r7950139;
        double r7950141 = 1.0;
        double r7950142 = r7950140 - r7950141;
        return r7950142;
}
↓
double f(double a, double b) {
        double r7950143 = 4.0;
        double r7950144 = b;
        double r7950145 = r7950144 * r7950144;
        double r7950146 = r7950143 * r7950145;
        double r7950147 = a;
        double r7950148 = r7950147 * r7950147;
        double r7950149 = r7950145 + r7950148;
        double r7950150 = sqrt(r7950149);
        double r7950151 = pow(r7950150, r7950143);
        double r7950152 = r7950146 + r7950151;
        double r7950153 = 1.0;
        double r7950154 = r7950152 - r7950153;
        return r7950154;
}

Error

Bits error versus a

Bits error versus b

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.2

    \[\left({\left(a \cdot a + b \cdot b\right)}^{2} + 4 \cdot \left(b \cdot b\right)\right) - 1\]

  2. Simplified0.2

    \[\leadsto \color{blue}{\left(\left(b \cdot b\right) \cdot 4 + \left(a \cdot a + b \cdot b\right) \cdot \left(a \cdot a + b \cdot b\right)\right) - 1}\]
  3. Using strategy rm

  4. Applied add-sqr-sqrt0.2

    \[\leadsto \left(\left(b \cdot b\right) \cdot 4 + \color{blue}{\left(\sqrt{a \cdot a + b \cdot b} \cdot \sqrt{a \cdot a + b \cdot b}\right)} \cdot \left(a \cdot a + b \cdot b\right)\right) - 1\]

  5. Applied associate-*l*0.1

    \[\leadsto \left(\left(b \cdot b\right) \cdot 4 + \color{blue}{\sqrt{a \cdot a + b \cdot b} \cdot \left(\sqrt{a \cdot a + b \cdot b} \cdot \left(a \cdot a + b \cdot b\right)\right)}\right) - 1\]
  6. Using strategy rm

  7. Applied add-sqr-sqrt0.1

    \[\leadsto \left(\left(b \cdot b\right) \cdot 4 + \sqrt{a \cdot a + b \cdot b} \cdot \left(\sqrt{a \cdot a + b \cdot b} \cdot \color{blue}{\left(\sqrt{a \cdot a + b \cdot b} \cdot \sqrt{a \cdot a + b \cdot b}\right)}\right)\right) - 1\]

  8. Applied cube-unmult0.1

    \[\leadsto \left(\left(b \cdot b\right) \cdot 4 + \sqrt{a \cdot a + b \cdot b} \cdot \color{blue}{{\left(\sqrt{a \cdot a + b \cdot b}\right)}^{3}}\right) - 1\]

  9. Applied pow10.1

    \[\leadsto \left(\left(b \cdot b\right) \cdot 4 + \color{blue}{{\left(\sqrt{a \cdot a + b \cdot b}\right)}^{1}} \cdot {\left(\sqrt{a \cdot a + b \cdot b}\right)}^{3}\right) - 1\]

  10. Applied pow-prod-up0.0

    \[\leadsto \left(\left(b \cdot b\right) \cdot 4 + \color{blue}{{\left(\sqrt{a \cdot a + b \cdot b}\right)}^{\left(1 + 3\right)}}\right) - 1\]

  11. Simplified0.0

    \[\leadsto \left(\left(b \cdot b\right) \cdot 4 + {\left(\sqrt{a \cdot a + b \cdot b}\right)}^{\color{blue}{4}}\right) - 1\]

  12. Final simplification0.0

    \[\leadsto \left(4 \cdot \left(b \cdot b\right) + {\left(\sqrt{b \cdot b + a \cdot a}\right)}^{4}\right) - 1\]

Reproduce

herbie shell --seed 2019133 
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (26)"
  (- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b))) 1))