Average Error: 57.2 → 0
Time: 19.4s
Precision: 64
Internal precision: 3456
\[\frac{c0}{2 \cdot w} \cdot \left(\frac{c0 \cdot {d}^2}{\left(w \cdot h\right) \cdot {D}^2} + \sqrt{{\left(\frac{c0 \cdot {d}^2}{\left(w \cdot h\right) \cdot {D}^2}\right)}^2 - {M}^2}\right)\]
⬇
\[0\]

Error

Bits error versus c0

Bits error versus w

Bits error versus h

Bits error versus D

Bits error versus d

Bits error versus M

Derivation

  1. Initial program 57.2

    \[\frac{c0}{2 \cdot w} \cdot \left(\frac{c0 \cdot {d}^2}{\left(w \cdot h\right) \cdot {D}^2} + \sqrt{{\left(\frac{c0 \cdot {d}^2}{\left(w \cdot h\right) \cdot {D}^2}\right)}^2 - {M}^2}\right)\]

  2. Applied taylor 7.9

    \[\leadsto \frac{c0}{2 \cdot w} \cdot 0\]

  3. Taylor expanded around inf 7.9

    \[\leadsto \frac{c0}{2 \cdot w} \cdot \color{blue}{0}\]

  4. Applied simplify 0

    \[\leadsto \color{blue}{0}\]
  5. Removed slow pow expressions

Runtime

Time bar (total: 19.4s) Debug logProfile

Please include this information when filing a bug report:

herbie shell --seed '#(1064524629 4159152179 2999149171 575749698 4006532819 692958815)'
(FPCore (c0 w h D d M)
  :name "Henrywood and Agarwal, Equation (13)"
  (* (/ c0 (* 2 w)) (+ (/ (* c0 (sqr d)) (* (* w h) (sqr D))) (sqrt (- (sqr (/ (* c0 (sqr d)) (* (* w h) (sqr D)))) (sqr M))))))