Average Error: 58.1 → 58.1
Time: 2.5s
Precision: 64
\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
↓
\[\mathsf{fma}\left(77617, 77617 \cdot \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - \left({33096}^{6} - \mathsf{fma}\left({33096}^{4}, -121, -2\right)\right)\right), \mathsf{fma}\left(333.75, {33096}^{6}, \mathsf{fma}\left({33096}^{8}, 5.5, \frac{77617}{2 \cdot 33096}\right)\right)\right)\]
\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}
↓
\mathsf{fma}\left(77617, 77617 \cdot \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - \left({33096}^{6} - \mathsf{fma}\left({33096}^{4}, -121, -2\right)\right)\right), \mathsf{fma}\left(333.75, {33096}^{6}, \mathsf{fma}\left({33096}^{8}, 5.5, \frac{77617}{2 \cdot 33096}\right)\right)\right)
double code() {
	return ((((333.75 * pow(33096.0, 6.0)) + ((77617.0 * 77617.0) * (((((11.0 * (77617.0 * 77617.0)) * (33096.0 * 33096.0)) + -pow(33096.0, 6.0)) + (-121.0 * pow(33096.0, 4.0))) + -2.0))) + (5.5 * pow(33096.0, 8.0))) + (77617.0 / (2.0 * 33096.0)));
}
↓
double code() {
	return fma(77617.0, (77617.0 * (((11.0 * (77617.0 * 77617.0)) * (33096.0 * 33096.0)) - (pow(33096.0, 6.0) - fma(pow(33096.0, 4.0), -121.0, -2.0)))), fma(333.75, pow(33096.0, 6.0), fma(pow(33096.0, 8.0), 5.5, (77617.0 / (2.0 * 33096.0)))));
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 58.1

      \[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]

    2. Simplified58.1

      \[\leadsto \color{blue}{\mathsf{fma}\left(77617 \cdot 77617, \left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - \left({33096}^{6} - \mathsf{fma}\left({33096}^{4}, -121, -2\right)\right), 333.75 \cdot {33096}^{6} + \mathsf{fma}\left({33096}^{8}, 5.5, \frac{77617}{2 \cdot 33096}\right)\right)}\]

    3. Simplified58.1

      \[\leadsto \color{blue}{\mathsf{fma}\left(77617, 77617 \cdot \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - \left({33096}^{6} - \mathsf{fma}\left({33096}^{4}, -121, -2\right)\right)\right), \mathsf{fma}\left(333.75, {33096}^{6}, \mathsf{fma}\left({33096}^{8}, 5.5, \frac{77617}{2 \cdot 33096}\right)\right)\right)}\]

    4. Final simplification58.1

      \[\leadsto \mathsf{fma}\left(77617, 77617 \cdot \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - \left({33096}^{6} - \mathsf{fma}\left({33096}^{4}, -121, -2\right)\right)\right), \mathsf{fma}\left(333.75, {33096}^{6}, \mathsf{fma}\left({33096}^{8}, 5.5, \frac{77617}{2 \cdot 33096}\right)\right)\right)\]

    Reproduce

    herbie shell --seed 2020091 +o rules:numerics
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  :precision binary64
  (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))