?

Average Accuracy: 9.2% → 9.2%
Time: 782.0ms
Precision: binary64
Cost: 28096

?

\[x = 77617 \land y = 33096\]
\[\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(\frac{1335}{4}, \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(x, x\right), \mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(11, x\right), x\right), y\right), y\right), \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(121, \mathsf{pow.f64}\left(y, 4\right)\right)\right), 2\right)\right)\right), \mathsf{*.f64}\left(\frac{11}{2}, \mathsf{pow.f64}\left(y, 8\right)\right)\right), \mathsf{/.f64}\left(x, \mathsf{*.f64}\left(2, y\right)\right)\right) \]
↓
\[\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(\frac{1335}{4}, \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(x, x\right), \mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{*.f64}\left(y, \mathsf{*.f64}\left(y, \mathsf{*.f64}\left(x, \mathsf{*.f64}\left(x, 11\right)\right)\right)\right), \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(121, \mathsf{pow.f64}\left(y, 4\right)\right)\right), 2\right)\right)\right), \mathsf{*.f64}\left(\frac{11}{2}, \mathsf{pow.f64}\left(y, 8\right)\right)\right), \mathsf{/.f64}\left(x, \mathsf{*.f64}\left(y, 2\right)\right)\right) \]
(FPCore (x y)
 :precision binary64
 (+.f64
  (+.f64
   (+.f64
    (*.f64 1335/4 (pow.f64 y 6))
    (*.f64
     (*.f64 x x)
     (-.f64
      (-.f64
       (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6))
       (*.f64 121 (pow.f64 y 4)))
      2)))
   (*.f64 11/2 (pow.f64 y 8)))
  (/.f64 x (*.f64 2 y))))
↓
(FPCore (x y)
 :precision binary64
 (+.f64
  (+.f64
   (+.f64
    (*.f64 1335/4 (pow.f64 y 6))
    (*.f64
     (*.f64 x x)
     (-.f64
      (-.f64
       (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6))
       (*.f64 121 (pow.f64 y 4)))
      2)))
   (*.f64 11/2 (pow.f64 y 8)))
  (/.f64 x (*.f64 y 2))))
\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(\frac{1335}{4}, \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(x, x\right), \mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(11, x\right), x\right), y\right), y\right), \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(121, \mathsf{pow.f64}\left(y, 4\right)\right)\right), 2\right)\right)\right), \mathsf{*.f64}\left(\frac{11}{2}, \mathsf{pow.f64}\left(y, 8\right)\right)\right), \mathsf{/.f64}\left(x, \mathsf{*.f64}\left(2, y\right)\right)\right)
↓
\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(\frac{1335}{4}, \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(x, x\right), \mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{*.f64}\left(y, \mathsf{*.f64}\left(y, \mathsf{*.f64}\left(x, \mathsf{*.f64}\left(x, 11\right)\right)\right)\right), \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(121, \mathsf{pow.f64}\left(y, 4\right)\right)\right), 2\right)\right)\right), \mathsf{*.f64}\left(\frac{11}{2}, \mathsf{pow.f64}\left(y, 8\right)\right)\right), \mathsf{/.f64}\left(x, \mathsf{*.f64}\left(y, 2\right)\right)\right)

Error?

Derivation?

  1. Initial program 9.2%

    \[\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(\frac{1335}{4}, \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(x, x\right), \mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(\mathsf{*.f64}\left(11, x\right), x\right), y\right), y\right), \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(121, \mathsf{pow.f64}\left(y, 4\right)\right)\right), 2\right)\right)\right), \mathsf{*.f64}\left(\frac{11}{2}, \mathsf{pow.f64}\left(y, 8\right)\right)\right), \mathsf{/.f64}\left(x, \mathsf{*.f64}\left(2, y\right)\right)\right) \]

  2. Final simplification9.2%

    \[\leadsto \mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{+.f64}\left(\mathsf{*.f64}\left(\frac{1335}{4}, \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(\mathsf{*.f64}\left(x, x\right), \mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{\_.f64}\left(\mathsf{*.f64}\left(y, \mathsf{*.f64}\left(y, \mathsf{*.f64}\left(x, \mathsf{*.f64}\left(x, 11\right)\right)\right)\right), \mathsf{pow.f64}\left(y, 6\right)\right), \mathsf{*.f64}\left(121, \mathsf{pow.f64}\left(y, 4\right)\right)\right), 2\right)\right)\right), \mathsf{*.f64}\left(\frac{11}{2}, \mathsf{pow.f64}\left(y, 8\right)\right)\right), \mathsf{/.f64}\left(x, \mathsf{*.f64}\left(y, 2\right)\right)\right) \]

Reproduce?

herbie shell --seed 2023144 
(FPCore (x y)
  :name "Rump's expression from Stadtherr's award speech"
  :precision binary64
  :pre (and (== x 77617.0) (== y 33096.0))
  (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))))