Average Error: 0.2 → 0.0
Time: 5.6m
Precision: 64
Internal precision: 384
\[\left({\left({a}^2 + {b}^2\right)}^2 + 4 \cdot \left({a}^2 \cdot \left(1 + a\right) + {b}^2 \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1\]
⬇
\[\left(\left(2 \cdot \left({b}^2 \cdot {a}^2\right) + \left({a}^{4} + {b}^{4}\right)\right) + 4 \cdot \left({a}^2 \cdot \left(1 + a\right) + {b}^2 \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1\]

Error

Bits error versus a

Bits error versus b

Derivation

  1. Initial program 0.2

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

  2. Applied taylor 0.0

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

  3. Taylor expanded around inf 0.0

    \[\leadsto \left(\color{blue}{\left(2 \cdot \left({b}^2 \cdot {a}^2\right) + \left({a}^{4} + {b}^{4}\right)\right)} + 4 \cdot \left({a}^2 \cdot \left(1 + a\right) + {b}^2 \cdot \left(1 - 3 \cdot a\right)\right)\right) - 1\]
  4. Removed slow pow expressions

Runtime

Time bar (total: 5.6m) Debug logProfile

Please include this information when filing a bug report:

herbie shell --seed '#(1064524629 4159152179 2999149171 575749698 4006532819 692958815)'
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (25)"
  (- (+ (sqr (+ (sqr a) (sqr b))) (* 4 (+ (* (sqr a) (+ 1 a)) (* (sqr b) (- 1 (* 3 a)))))) 1))