Time bar (total: 5.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 0% | 99.9% | 0.1% | 5 |
| 0% | 99.9% | 0.1% | 6 |
| 0% | 99.9% | 0.1% | 7 |
| 0% | 99.9% | 0.1% | 8 |
| 0% | 99.9% | 0.1% | 9 |
| 21.1% | 74.5% | 4.4% | 10 |
| 25.4% | 69.8% | 4.8% | 11 |
| 30.6% | 64.2% | 5.2% | 12 |
Compiled 15 to 11 computations (26.7% saved)
| 883.0ms | 8256× | body | 256 | valid |
| 167.0ms | 1608× | body | 256 | invalid |
| 2× | egg-herbie |
| 738× | fma-def_binary64 |
| 512× | times-frac_binary64 |
| 390× | distribute-frac-neg_binary64 |
| 340× | distribute-rgt-neg-in_binary64 |
| 276× | sub-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 64 |
| 1 | 69 | 64 |
| 2 | 178 | 56 |
| 3 | 581 | 56 |
| 4 | 1729 | 56 |
| 5 | 5936 | 44 |
| 0 | 3 | 3 |
| 1× | saturated |
| 1× | node limit |
| Inputs |
|---|
0 |
1 |
2 |
| Outputs |
|---|
0 |
1 |
2 |
| Inputs |
|---|
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
(/.f64 (*.f64 4 (-.f64 (-.f64 y x) (*.f64 z 1/2))) z) |
(/.f64 (*.f64 4 (-.f64 (-.f64 z y) (*.f64 x 1/2))) x) |
(/.f64 (*.f64 4 (-.f64 (-.f64 x z) (*.f64 y 1/2))) y) |
| Outputs |
|---|
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
(/.f64 4 (/.f64 z (-.f64 x (+.f64 y (*.f64 z 1/2))))) |
(/.f64 (-.f64 x (+.f64 y (*.f64 z 1/2))) (/.f64 z 4)) |
(/.f64 (-.f64 x (fma.f64 z 1/2 y)) (/.f64 z 4)) |
(*.f64 (-.f64 x (fma.f64 z 1/2 y)) (/.f64 4 z)) |
(*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(/.f64 (*.f64 4 (-.f64 (-.f64 y x) (*.f64 z 1/2))) z) |
(/.f64 4 (/.f64 z (-.f64 (-.f64 y x) (*.f64 z 1/2)))) |
(*.f64 (/.f64 4 z) (+.f64 (-.f64 y x) (*.f64 z -1/2))) |
(*.f64 (-.f64 y (fma.f64 z 1/2 x)) (/.f64 4 z)) |
(*.f64 4 (/.f64 (-.f64 y (fma.f64 z 1/2 x)) z)) |
(fma.f64 (-.f64 y x) (/.f64 4 z) -2) |
(/.f64 (*.f64 4 (-.f64 (-.f64 z y) (*.f64 x 1/2))) x) |
(/.f64 4 (/.f64 x (-.f64 z (+.f64 y (*.f64 x 1/2))))) |
(*.f64 (/.f64 4 x) (+.f64 (-.f64 z y) (*.f64 x -1/2))) |
(*.f64 (-.f64 z (fma.f64 x 1/2 y)) (/.f64 4 x)) |
(*.f64 4 (/.f64 (-.f64 z (fma.f64 x 1/2 y)) x)) |
(fma.f64 (-.f64 z y) (/.f64 4 x) -2) |
(/.f64 (*.f64 4 (-.f64 (-.f64 x z) (*.f64 y 1/2))) y) |
(*.f64 (/.f64 4 y) (+.f64 (-.f64 x z) (*.f64 y -1/2))) |
(*.f64 (-.f64 x (fma.f64 y 1/2 z)) (/.f64 4 y)) |
(*.f64 4 (/.f64 (fma.f64 y -1/2 (-.f64 x z)) y)) |
(*.f64 4 (/.f64 (-.f64 x (fma.f64 y 1/2 z)) y)) |
(fma.f64 (-.f64 x z) (/.f64 4 y) -2) |
Compiled 17 to 13 computations (23.5% saved)
| 1× | egg-herbie |
| 925× | fma-neg_binary64 |
| 796× | fma-def_binary64 |
| 768× | times-frac_binary64 |
| 456× | cancel-sign-sub-inv_binary64 |
| 435× | associate-/l*_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 16 |
| 1 | 24 | 16 |
| 2 | 59 | 14 |
| 3 | 184 | 14 |
| 4 | 516 | 14 |
| 5 | 1668 | 11 |
| 6 | 6056 | 11 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| Outputs |
|---|
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
(/.f64 4 (/.f64 z (-.f64 x (+.f64 y (*.f64 z 1/2))))) |
(*.f64 (/.f64 4 z) (+.f64 (-.f64 x y) (*.f64 z -1/2))) |
(*.f64 (-.f64 x (fma.f64 z 1/2 y)) (/.f64 4 z)) |
(*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)) |
(*.f64 4 (/.f64 (-.f64 (fma.f64 z -1/2 x) y) z)) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
Compiled 22 to 14 computations (36.4% saved)
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0.3b | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| ▶ | 0.2b | (fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
Compiled 25 to 18 computations (28% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.3b | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
Compiled 41 to 22 computations (46.3% saved)
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | y | @ | 0 | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 1.0ms | z | @ | 0 | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 1.0ms | x | @ | 0 | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 1.0ms | x | @ | -inf | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 1.0ms | x | @ | inf | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 1× | batch-egg-rewrite |
| 649× | log-prod_binary64 |
| 434× | fma-def_binary64 |
| 342× | pow2_binary64 |
| 250× | fma-neg_binary64 |
| 235× | pow1/3_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 16 |
| 1 | 255 | 16 |
| 2 | 3702 | 14 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 1 (/.f64 z (-.f64 x (fma.f64 z 1/2 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (-.f64 x (fma.f64 z 1/2 y)) (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (fma.f64 z 1/2 y)) (*.f64 4 (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y))) (/.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))) (pow.f64 (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))) 2) (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y)))) 2) (*.f64 (cbrt.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y)))) (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (sqrt.f64 (/.f64 z (-.f64 x (fma.f64 z 1/2 y))))) (/.f64 2 (sqrt.f64 (/.f64 z (-.f64 x (fma.f64 z 1/2 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (sqrt.f64 (-.f64 x (fma.f64 z 1/2 y)))) (*.f64 (*.f64 2 (sqrt.f64 (-.f64 x (fma.f64 z 1/2 y)))) (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (fma.f64 z 1/2 y)) -4) (/.f64 1 (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 z) (*.f64 4 (-.f64 x (fma.f64 z 1/2 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) 1) (/.f64 4 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 z) (-.f64 x (fma.f64 z 1/2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y)))) 2) 1) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y)))) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 2 (sqrt.f64 (-.f64 x (fma.f64 z 1/2 y)))) 1) (/.f64 (*.f64 2 (sqrt.f64 (-.f64 x (fma.f64 z 1/2 y)))) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (-.f64 x (fma.f64 z 1/2 y)) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 4 (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 z) 2)) (/.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y))) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y)))) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 2 (sqrt.f64 (-.f64 x (fma.f64 z 1/2 y)))) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (*.f64 2 (sqrt.f64 (-.f64 x (fma.f64 z 1/2 y)))) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 (sqrt.f64 z)) (/.f64 (-.f64 x (fma.f64 z 1/2 y)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) (sqrt.f64 z)) (/.f64 4 (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y))) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y)))) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y)))) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 16 (pow.f64 (/.f64 z (-.f64 x (fma.f64 z 1/2 y))) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 2 (sqrt.f64 (/.f64 z (-.f64 x (fma.f64 z 1/2 y))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/4 (/.f64 z (-.f64 x (fma.f64 z 1/2 y)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y))) 3) (pow.f64 z 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 1/4 (/.f64 z (-.f64 x (fma.f64 z 1/2 y)))) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y))) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 16 (pow.f64 (/.f64 z (-.f64 x (fma.f64 z 1/2 y))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 4 (-.f64 x (fma.f64 z 1/2 y))) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 4 (/.f64 (-.f64 x (fma.f64 z 1/2 y)) z))) 1)))))) |
| 1× | egg-herbie |
| 653× | fma-def_binary64 |
| 598× | fma-neg_binary64 |
| 520× | div-sub_binary64 |
| 349× | times-frac_binary64 |
| 305× | sub-neg_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 606 |
| 1 | 79 | 550 |
| 2 | 161 | 545 |
| 3 | 278 | 545 |
| 4 | 498 | 356 |
| 5 | 865 | 353 |
| 6 | 1865 | 353 |
| 7 | 3003 | 353 |
| 8 | 5255 | 353 |
| 9 | 7107 | 353 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(*.f64 4 (/.f64 x z)) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(*.f64 4 (/.f64 x z)) |
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z))) |
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) |
(*.f64 -4 (/.f64 y z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(*.f64 -4 (/.f64 y z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
| Outputs |
|---|
(*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) |
(*.f64 -4 (/.f64 (fma.f64 1/2 z y) z)) |
(*.f64 (fma.f64 1/2 z y) (/.f64 -4 z)) |
(fma.f64 -4 (/.f64 y z) -2) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 4 (/.f64 x z)) |
(*.f64 x (/.f64 4 z)) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 4 (/.f64 x z)) |
(*.f64 x (/.f64 4 z)) |
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) |
(*.f64 4 (/.f64 (+.f64 x (*.f64 -1/2 z)) z)) |
(fma.f64 4 (/.f64 x z) -2) |
(fma.f64 (/.f64 4 z) x -2) |
(fma.f64 x (/.f64 4 z) -2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 -4 (/.f64 y z)) |
(/.f64 (*.f64 -4 y) z) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 -4 (/.f64 y z)) |
(/.f64 (*.f64 -4 y) z) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2))) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(*.f64 (-.f64 x y) (/.f64 4 z)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(fma.f64 4 (/.f64 x z) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))) |
(fma.f64 -4 (/.f64 (fma.f64 1/2 z y) z) (*.f64 4 (/.f64 x z))) |
(fma.f64 (/.f64 -4 z) (fma.f64 1/2 z y) (*.f64 x (/.f64 4 z))) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 -4 (/.f64 (-.f64 y x) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.2b | (fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
Compiled 22 to 12 computations (45.5% saved)
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 2.0ms | z | @ | -inf | (fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
| 1.0ms | x | @ | 0 | (fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
| 1.0ms | z | @ | 0 | (fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
| 1.0ms | y | @ | 0 | (fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
| 1.0ms | z | @ | inf | (fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
| 1× | batch-egg-rewrite |
| 509× | unpow-prod-down_binary64 |
| 418× | log-prod_binary64 |
| 368× | prod-diff_binary64 |
| 257× | pow2_binary64 |
| 245× | pow-prod-down_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 11 |
| 1 | 199 | 11 |
| 2 | 2550 | 11 |
| 1× | node limit |
| Inputs |
|---|
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (*.f64 (-.f64 x y) (/.f64 4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 1) -2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) (cbrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2)) (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2) 3) (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 3) -8) (+.f64 (pow.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 2) (-.f64 4 (*.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 (-.f64 x y) (/.f64 4 z)) 2) 4) (fma.f64 (-.f64 x y) (/.f64 4 z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 (-.f64 x y) (/.f64 4 z) -2)) 1) 1)))))) |
| 1× | egg-herbie |
| 854× | fma-def_binary64 |
| 667× | fma-neg_binary64 |
| 238× | cancel-sign-sub-inv_binary64 |
| 136× | distribute-rgt-in_binary64 |
| 84× | unsub-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 515 |
| 1 | 43 | 461 |
| 2 | 81 | 461 |
| 3 | 124 | 353 |
| 4 | 230 | 353 |
| 5 | 440 | 353 |
| 6 | 911 | 353 |
| 7 | 1818 | 353 |
| 8 | 2829 | 353 |
| 9 | 3186 | 353 |
| 10 | 3276 | 353 |
| 11 | 3441 | 353 |
| 12 | 3441 | 353 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (*.f64 4 (/.f64 x z)) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(*.f64 -4 (/.f64 y z)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(*.f64 -4 (/.f64 y z)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
| Outputs |
|---|
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(fma.f64 -4 (/.f64 y z) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 x z)) 2) |
(fma.f64 4 (/.f64 x z) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 -4 (/.f64 y z)) |
(/.f64 -4 (/.f64 z y)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 -4 (/.f64 y z)) |
(/.f64 -4 (/.f64 z y)) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(/.f64 (*.f64 4 (-.f64 x y)) z) |
(/.f64 -4 (/.f64 z (-.f64 y x))) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
-2 |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) |
(+.f64 (*.f64 -4 (/.f64 y z)) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 -4 (/.f64 y z) (fma.f64 4 (/.f64 x z) -2)) |
(fma.f64 4 (/.f64 (-.f64 x y) z) -2) |
(fma.f64 (/.f64 -4 z) (-.f64 y x) -2) |
Compiled 1593 to 1025 computations (35.7% saved)
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 108 | 8 | 116 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 1 | 0 | 1 |
| Total | 110 | 8 | 118 |
| Status | Error | Program |
|---|---|---|
| ▶ | 45.2b | (*.f64 x (/.f64 4 z)) |
| 18.7b | (-.f64 (*.f64 -4 (/.f64 y z)) 2) | |
| 35.4b | -2 | |
| 28.2b | (*.f64 4 (/.f64 (-.f64 x y) z)) | |
| ▶ | 45.9b | (/.f64 -4 (/.f64 z y)) |
| ▶ | 45.9b | (*.f64 -4 (/.f64 y z)) |
| ▶ | 17.4b | (-.f64 (*.f64 4 (/.f64 x z)) 2) |
| ▶ | 45.1b | (*.f64 4 (/.f64 x z)) |
Compiled 128 to 98 computations (23.4% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (*.f64 4 (/.f64 x z)) |
Compiled 22 to 12 computations (45.5% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 3.0ms | z | @ | -inf | (*.f64 4 (/.f64 x z)) |
| 1.0ms | x | @ | 0 | (*.f64 4 (/.f64 x z)) |
| 1.0ms | x | @ | inf | (*.f64 4 (/.f64 x z)) |
| 1.0ms | z | @ | 0 | (*.f64 4 (/.f64 x z)) |
| 1.0ms | z | @ | inf | (*.f64 4 (/.f64 x z)) |
| 1× | batch-egg-rewrite |
| 650× | pow1_binary64 |
| 605× | add-log-exp_binary64 |
| 605× | log1p-expm1-u_binary64 |
| 605× | expm1-log1p-u_binary64 |
| 593× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 128 | 7 |
| 2 | 1610 | 7 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 4 (/.f64 x z)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 4 (/.f64 x z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 z x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 4 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 x) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 4 x)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 4 x) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 4 x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 4 x) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) 4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (neg.f64 x)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 4 (/.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (/.f64 x z) 2) 16))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 4) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 4 (/.f64 x z)))))))) |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| 1× | saturated |
| Inputs |
|---|
| Outputs |
|---|
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (*.f64 -4 (/.f64 y z)) |
Compiled 14 to 7 computations (50% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | y | @ | inf | (*.f64 -4 (/.f64 y z)) |
| 1.0ms | z | @ | 0 | (*.f64 -4 (/.f64 y z)) |
| 1.0ms | y | @ | 0 | (*.f64 -4 (/.f64 y z)) |
| 1.0ms | z | @ | inf | (*.f64 -4 (/.f64 y z)) |
| 1.0ms | y | @ | -inf | (*.f64 -4 (/.f64 y z)) |
| 1× | batch-egg-rewrite |
| 653× | pow1_binary64 |
| 608× | add-log-exp_binary64 |
| 608× | log1p-expm1-u_binary64 |
| 608× | expm1-log1p-u_binary64 |
| 596× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 127 | 7 |
| 2 | 1612 | 7 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 -4 (/.f64 y z)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 -4 (/.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (/.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 -4 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 y) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 -4 y)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 y) -4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 (neg.f64 y)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 -4 (/.f64 y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (/.f64 y z) 2) 16))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -4) (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -4 (/.f64 y z)))))))) |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| 1× | saturated |
| Inputs |
|---|
| Outputs |
|---|
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| 0.0b | (*.f64 4 (/.f64 x z)) |
Compiled 14 to 7 computations (50% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.3b | (*.f64 x (/.f64 4 z)) |
Compiled 14 to 9 computations (35.7% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | 0 | (*.f64 x (/.f64 4 z)) |
| 0.0ms | x | @ | inf | (*.f64 x (/.f64 4 z)) |
| 0.0ms | x | @ | -inf | (*.f64 x (/.f64 4 z)) |
| 0.0ms | z | @ | inf | (*.f64 x (/.f64 4 z)) |
| 0.0ms | z | @ | -inf | (*.f64 x (/.f64 4 z)) |
| 1× | batch-egg-rewrite |
| 613× | pow1_binary64 |
| 572× | add-log-exp_binary64 |
| 572× | log1p-expm1-u_binary64 |
| 572× | expm1-log1p-u_binary64 |
| 561× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 129 | 7 |
| 2 | 1559 | 7 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 x (/.f64 4 z)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (/.f64 4 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 z 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 4) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x 4)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 4) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 4) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x 4) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 x) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (/.f64 4 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (/.f64 4 z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (/.f64 4 z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (/.f64 4 z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (/.f64 4 z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (/.f64 4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (/.f64 4 z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (/.f64 4 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (/.f64 4 z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (/.f64 4 z)))))))) |
| 1× | egg-herbie |
| 3× | *-commutative_binary64 |
| 2× | associate-/l*_binary64 |
| 1× | associate-*r/_binary64 |
| 1× | associate-*l/_binary64 |
| 1× | associate-/r/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 168 |
| 1 | 9 | 168 |
| 2 | 13 | 168 |
| 3 | 17 | 168 |
| 4 | 18 | 168 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
| Outputs |
|---|
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.7b | (/.f64 -4 (/.f64 z y)) |
Compiled 14 to 7 computations (50% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | z | @ | 0 | (/.f64 -4 (/.f64 z y)) |
| 0.0ms | z | @ | inf | (/.f64 -4 (/.f64 z y)) |
| 0.0ms | y | @ | inf | (/.f64 -4 (/.f64 z y)) |
| 0.0ms | y | @ | -inf | (/.f64 -4 (/.f64 z y)) |
| 0.0ms | z | @ | -inf | (/.f64 -4 (/.f64 z y)) |
| 1× | batch-egg-rewrite |
| 698× | pow1_binary64 |
| 653× | add-log-exp_binary64 |
| 653× | log1p-expm1-u_binary64 |
| 653× | expm1-log1p-u_binary64 |
| 640× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 134 | 7 |
| 2 | 1772 | 7 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 -4 (/.f64 z y)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 -4 (/.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -4 (/.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (/.f64 -4 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 -4 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) (pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 2) (cbrt.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 -4 (/.f64 y z))) (sqrt.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 1 (/.f64 (neg.f64 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y z) -4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -4 z) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -4 (neg.f64 z)) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 -4 z) 1) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 -4 z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 -4 z) (sqrt.f64 y)) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 -4 (/.f64 y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 z y) -1/4) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 16 (pow.f64 (/.f64 z y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 -4) (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -4 (/.f64 y z)))))))) |
| 1× | egg-herbie |
| 3× | *-commutative_binary64 |
| 2× | associate-/l*_binary64 |
| 1× | associate-*r/_binary64 |
| 1× | associate-*l/_binary64 |
| 1× | associate-/r/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 168 |
| 1 | 9 | 168 |
| 2 | 13 | 168 |
| 3 | 17 | 168 |
| 4 | 18 | 168 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
| Outputs |
|---|
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
Compiled 857 to 538 computations (37.2% saved)
9 alts after pruning (5 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 105 | 2 | 107 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 3 | 4 |
| Total | 106 | 9 | 115 |
| Status | Error | Program |
|---|---|---|
| ▶ | 18.7b | (-.f64 (*.f64 -4 (/.f64 y z)) 2) |
| ▶ | 45.9b | (*.f64 (/.f64 -4 z) y) |
| ▶ | 45.2b | (/.f64 4 (/.f64 z x)) |
| 35.4b | -2 | |
| ▶ | 28.2b | (*.f64 4 (/.f64 (-.f64 x y) z)) |
| ✓ | 45.9b | (/.f64 -4 (/.f64 z y)) |
| ✓ | 45.9b | (*.f64 -4 (/.f64 y z)) |
| ✓ | 17.4b | (-.f64 (*.f64 4 (/.f64 x z)) 2) |
| ✓ | 45.1b | (*.f64 4 (/.f64 x z)) |
Compiled 74 to 57 computations (23% saved)
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (*.f64 4 (/.f64 (-.f64 x y) z)) |
| ✓ | 0.0b | (/.f64 (-.f64 x y) z) |
Compiled 22 to 8 computations (63.6% saved)
18 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 5.0ms | y | @ | inf | (*.f64 4 (/.f64 (-.f64 x y) z)) |
| 1.0ms | x | @ | 0 | (/.f64 (-.f64 x y) z) |
| 1.0ms | z | @ | -inf | (/.f64 (-.f64 x y) z) |
| 1.0ms | x | @ | -inf | (/.f64 (-.f64 x y) z) |
| 1.0ms | z | @ | inf | (/.f64 (-.f64 x y) z) |
| 1× | batch-egg-rewrite |
| 541× | prod-diff_binary64 |
| 472× | log-prod_binary64 |
| 366× | exp-prod_binary64 |
| 271× | pow-prod-down_binary64 |
| 250× | pow2_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 17 |
| 1 | 182 | 17 |
| 2 | 2623 | 17 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (-.f64 x y) z) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x y) z) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)) (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x y) z) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 z))) (/.f64 (sqrt.f64 y) (sqrt.f64 z)) (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 1 z) y))) (fma.f64 (neg.f64 (/.f64 1 z)) y (*.f64 (/.f64 1 z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y z) 1))) (fma.f64 (neg.f64 (/.f64 y z)) 1 (*.f64 (/.f64 y z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2)))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) 2) (*.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2)))) (fma.f64 (neg.f64 (/.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) -2) (*.f64 (/.f64 y (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2)))) (fma.f64 (neg.f64 (/.f64 y (sqrt.f64 z))) (pow.f64 z -1/2) (*.f64 (/.f64 y (sqrt.f64 z)) (pow.f64 z -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1)))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (*.f64 (/.f64 (cbrt.f64 y) z) (/.f64 (pow.f64 (cbrt.f64 y) 2) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1)))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) z)) (/.f64 (sqrt.f64 y) 1) (*.f64 (/.f64 (sqrt.f64 y) z) (/.f64 (sqrt.f64 y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z))) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)) (*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 z)) (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 z) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (/.f64 1 z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (/.f64 x z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z))))) (fma.f64 (neg.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z))) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)) (*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x z) (/.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x y) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x y) (/.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x y) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 2) (cbrt.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) 2) (*.f64 (cbrt.f64 (-.f64 x y)) (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) (sqrt.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 x y)) (*.f64 (sqrt.f64 (-.f64 x y)) (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (-.f64 x y)) (/.f64 1 (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 z) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (-.f64 x y)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 x y)) 1) (/.f64 (sqrt.f64 (-.f64 x y)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (-.f64 x y) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) 2) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 x y)) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 (-.f64 x y)) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 z -1/2) (/.f64 (-.f64 x y) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x y)) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 (-.f64 x y)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x y) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (-.f64 x y) z) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (-.f64 x y) z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (-.f64 x y) z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (-.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (-.f64 x y) 3) (pow.f64 z 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 z (-.f64 x y)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 (-.f64 x y) z))) 2)) (cbrt.f64 (log.f64 (/.f64 (-.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 (-.f64 x y) z)))) (sqrt.f64 (log.f64 (/.f64 (-.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 x y) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (-.f64 x y) z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (-.f64 x y) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x y) z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 (-.f64 x y) z))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (-.f64 x y) z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (-.f64 x y) z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 z (-.f64 x y))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (-.f64 x y) z)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (/.f64 1 z) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 x z) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (/.f64 x z)) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 x z)) (sqrt.f64 (/.f64 x z)) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 x (cbrt.f64 z)) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 z -1/2) (/.f64 x (sqrt.f64 z)) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) z) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) z) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (cbrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 z) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 z)) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 z)) (/.f64 (cbrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (/.f64 (sqrt.f64 x) (sqrt.f64 z)) (neg.f64 (/.f64 y z))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (/.f64 (-.f64 x y) z) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x y) z)) 4)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x y) z)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x y) z)) 4))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x y) z)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 (-.f64 x y) z) 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 z (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 (-.f64 x y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) 4) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (-.f64 x y) 4)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 x y) 4) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 x y) 4) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 x y) 4) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (-.f64 x y)) 4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (neg.f64 (-.f64 x y))) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 (-.f64 x y) z) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (/.f64 (-.f64 x y) z) 2) 16) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 (-.f64 x y) z) 4) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 z (*.f64 (-.f64 x y) 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4))) 2)) (cbrt.f64 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)))) (sqrt.f64 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (/.f64 (-.f64 x y) z) 2) 16))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 x y) z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 (-.f64 x y) z) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 (-.f64 x y) z) 4) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 x y) z) 4))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 (-.f64 x y) z)) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (/.f64 (-.f64 x y) z) 4)) 1) 1)))))) |
| 1× | egg-herbie |
| 588× | fma-def_binary64 |
| 455× | fma-neg_binary64 |
| 146× | cancel-sign-sub-inv_binary64 |
| 127× | distribute-rgt-in_binary64 |
| 102× | associate-*l*_binary64 |
Useful iterations: 10 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 522 |
| 1 | 28 | 504 |
| 2 | 47 | 504 |
| 3 | 65 | 504 |
| 4 | 82 | 504 |
| 5 | 112 | 504 |
| 6 | 170 | 504 |
| 7 | 243 | 486 |
| 8 | 392 | 486 |
| 9 | 713 | 432 |
| 10 | 1382 | 378 |
| 11 | 2304 | 378 |
| 12 | 2646 | 378 |
| 13 | 2901 | 378 |
| 14 | 2905 | 378 |
| 15 | 2905 | 378 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 -1 (/.f64 y z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(/.f64 x z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(/.f64 x z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(/.f64 x z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(*.f64 -1 (/.f64 y z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(*.f64 -1 (/.f64 y z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(*.f64 -4 (/.f64 y z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(*.f64 4 (/.f64 x z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(*.f64 4 (/.f64 x z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(*.f64 4 (/.f64 x z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(*.f64 -4 (/.f64 y z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(*.f64 -4 (/.f64 y z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
| Outputs |
|---|
(*.f64 -1 (/.f64 y z)) |
(neg.f64 (/.f64 y z)) |
(/.f64 (neg.f64 y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(/.f64 x z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(/.f64 x z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(/.f64 x z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(*.f64 -1 (/.f64 y z)) |
(neg.f64 (/.f64 y z)) |
(/.f64 (neg.f64 y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(*.f64 -1 (/.f64 y z)) |
(neg.f64 (/.f64 y z)) |
(/.f64 (neg.f64 y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z)) |
(fma.f64 -1 (/.f64 y z) (/.f64 x z)) |
(-.f64 (/.f64 x z) (/.f64 y z)) |
(/.f64 (-.f64 x y) z) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 (/.f64 y z) -4) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 y (/.f64 -4 z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 (/.f64 x z) 4) |
(*.f64 x (/.f64 4 z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 (/.f64 x z) 4) |
(*.f64 x (/.f64 4 z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 (/.f64 x z) 4) |
(*.f64 x (/.f64 4 z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 (/.f64 y z) -4) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 y (/.f64 -4 z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 (/.f64 y z) -4) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 y (/.f64 -4 z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) |
(fma.f64 -4 (/.f64 y z) (*.f64 (/.f64 x z) 4)) |
(fma.f64 (/.f64 y z) -4 (*.f64 (/.f64 x z) 4)) |
(fma.f64 y (/.f64 -4 z) (*.f64 (/.f64 x z) 4)) |
(*.f64 -4 (-.f64 (/.f64 y z) (/.f64 x z))) |
(*.f64 (/.f64 4 z) (-.f64 x y)) |
(*.f64 -4 (/.f64 (-.f64 y x) z)) |
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.2b | (*.f64 (/.f64 -4 z) y) |
Compiled 14 to 9 computations (35.7% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | z | @ | 0 | (*.f64 (/.f64 -4 z) y) |
| 0.0ms | z | @ | -inf | (*.f64 (/.f64 -4 z) y) |
| 0.0ms | z | @ | inf | (*.f64 (/.f64 -4 z) y) |
| 0.0ms | y | @ | 0 | (*.f64 (/.f64 -4 z) y) |
| 0.0ms | y | @ | -inf | (*.f64 (/.f64 -4 z) y) |
| 1× | batch-egg-rewrite |
| 616× | pow1_binary64 |
| 574× | add-log-exp_binary64 |
| 574× | log1p-expm1-u_binary64 |
| 574× | expm1-log1p-u_binary64 |
| 563× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 128 | 7 |
| 2 | 1562 | 7 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (/.f64 -4 z) y) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 -4 (/.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (/.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 y (*.f64 z -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 -4 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 y) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 -4 y)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 -4 y) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 y) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y 4) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 -4 (/.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 -4 (/.f64 y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (/.f64 -4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -4 (/.f64 y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 -4 (/.f64 y z)))))))) |
| 1× | egg-herbie |
| 3× | *-commutative_binary64 |
| 2× | associate-/l*_binary64 |
| 1× | associate-*r/_binary64 |
| 1× | associate-*l/_binary64 |
| 1× | associate-/r/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 168 |
| 1 | 9 | 168 |
| 2 | 13 | 168 |
| 3 | 17 | 168 |
| 4 | 18 | 168 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
| Outputs |
|---|
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 -4 (/.f64 y z)) |
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| 0.0b | (*.f64 -4 (/.f64 y z)) |
Compiled 22 to 12 computations (45.5% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.6b | (/.f64 4 (/.f64 z x)) |
Compiled 14 to 7 computations (50% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | x | @ | inf | (/.f64 4 (/.f64 z x)) |
| 0.0ms | z | @ | 0 | (/.f64 4 (/.f64 z x)) |
| 0.0ms | x | @ | -inf | (/.f64 4 (/.f64 z x)) |
| 0.0ms | z | @ | -inf | (/.f64 4 (/.f64 z x)) |
| 0.0ms | z | @ | inf | (/.f64 4 (/.f64 z x)) |
| 1× | batch-egg-rewrite |
| 696× | pow1_binary64 |
| 652× | add-log-exp_binary64 |
| 652× | log1p-expm1-u_binary64 |
| 652× | expm1-log1p-u_binary64 |
| 639× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 135 | 7 |
| 2 | 1772 | 7 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 4 (/.f64 z x)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 4 (/.f64 x z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (/.f64 4 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 4 (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) (pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 2) (cbrt.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 4 (/.f64 x z))) (sqrt.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -4 (/.f64 1 (/.f64 (neg.f64 z) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x z) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 (neg.f64 z)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 4 z) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 4 z) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 4 z) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 4 (/.f64 x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 4 (/.f64 x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 z x) 1/4) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 16 (pow.f64 (/.f64 z x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 4) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 4 (/.f64 x z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 4 (/.f64 x z)))))))) |
| 1× | egg-herbie |
| 3× | *-commutative_binary64 |
| 2× | associate-/l*_binary64 |
| 1× | associate-*r/_binary64 |
| 1× | associate-*l/_binary64 |
| 1× | associate-/r/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 168 |
| 1 | 9 | 168 |
| 2 | 13 | 168 |
| 3 | 17 | 168 |
| 4 | 18 | 168 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
| Outputs |
|---|
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 4 (/.f64 x z)) |
Compiled 7228 to 3125 computations (56.8% saved)
9 alts after pruning (1 fresh and 8 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 296 | 0 | 296 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 7 | 7 |
| Total | 296 | 9 | 305 |
| Status | Error | Program |
|---|---|---|
| ✓ | 18.7b | (-.f64 (*.f64 -4 (/.f64 y z)) 2) |
| ✓ | 45.9b | (*.f64 (/.f64 -4 z) y) |
| ✓ | 45.2b | (/.f64 4 (/.f64 z x)) |
| 35.4b | -2 | |
| ✓ | 28.2b | (*.f64 4 (/.f64 (-.f64 x y) z)) |
| ✓ | 45.9b | (/.f64 -4 (/.f64 z y)) |
| ✓ | 45.9b | (*.f64 -4 (/.f64 y z)) |
| ✓ | 17.4b | (-.f64 (*.f64 4 (/.f64 x z)) 2) |
| ✓ | 45.1b | (*.f64 4 (/.f64 x z)) |
Compiled 74 to 57 computations (23% saved)
Compiled 3 to 3 computations (0% saved)
9 alts after pruning (1 fresh and 8 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 8 | 8 |
| Total | 0 | 9 | 9 |
| Status | Error | Program |
|---|---|---|
| ✓ | 18.7b | (-.f64 (*.f64 -4 (/.f64 y z)) 2) |
| ✓ | 45.9b | (*.f64 (/.f64 -4 z) y) |
| ✓ | 45.2b | (/.f64 4 (/.f64 z x)) |
| 35.4b | -2 | |
| ✓ | 28.2b | (*.f64 4 (/.f64 (-.f64 x y) z)) |
| ✓ | 45.9b | (/.f64 -4 (/.f64 z y)) |
| ✓ | 45.9b | (*.f64 -4 (/.f64 y z)) |
| ✓ | 17.4b | (-.f64 (*.f64 4 (/.f64 x z)) 2) |
| ✓ | 45.1b | (*.f64 4 (/.f64 x z)) |
Compiled 74 to 57 computations (23% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(-.f64 (*.f64 4 (/.f64 x z)) 2) |
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
| Outputs |
|---|
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
6 calls:
| 8.0ms | z |
| 8.0ms | (-.f64 x y) |
| 8.0ms | x |
| 7.0ms | y |
| 7.0ms | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| Error | Segments | Branch |
|---|---|---|
| 0.2b | 1 | x |
| 0.2b | 1 | y |
| 0.2b | 1 | z |
| 0.2b | 1 | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 0.2b | 1 | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 0.2b | 1 | (-.f64 x y) |
Compiled 120 to 77 computations (35.8% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(-.f64 (*.f64 4 (/.f64 x z)) 2) |
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| Outputs |
|---|
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
5 calls:
| 8.0ms | (-.f64 x y) |
| 7.0ms | x |
| 7.0ms | z |
| 7.0ms | y |
| 5.0ms | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| Error | Segments | Branch |
|---|---|---|
| 0.3b | 1 | x |
| 0.3b | 1 | y |
| 0.3b | 1 | z |
| 0.3b | 1 | (/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
| 0.3b | 1 | (-.f64 x y) |
Compiled 98 to 63 computations (35.7% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(-.f64 (*.f64 4 (/.f64 x z)) 2) |
| Outputs |
|---|
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(-.f64 (*.f64 4 (/.f64 x z)) 2) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
5 calls:
| 36.0ms | (-.f64 x y) |
| 35.0ms | (-.f64 x y) |
| 30.0ms | z |
| 18.0ms | x |
| 18.0ms | y |
| Error | Segments | Branch |
|---|---|---|
| 7.5b | 3 | x |
| 5.9b | 3 | y |
| 8.0b | 4 | z |
| 10.6b | 5 | (-.f64 x y) |
| 10.6b | 5 | (-.f64 x y) |
Compiled 79 to 51 computations (35.4% saved)
| 2× | binary-search |
| Time | Left | Right |
|---|---|---|
| 19.0ms | 1.1780601419567107e+60 | 4.9481393774008044e+67 |
| 20.0ms | -4.0069046279066546e+45 | -2.616065464861657e+31 |
Compiled 20 to 15 computations (25% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
| Outputs |
|---|
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(*.f64 4 (/.f64 (-.f64 x y) z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
5 calls:
| 26.0ms | (-.f64 x y) |
| 25.0ms | (-.f64 x y) |
| 24.0ms | x |
| 21.0ms | y |
| 17.0ms | z |
| Error | Segments | Branch |
|---|---|---|
| 12.7b | 3 | x |
| 16.5b | 3 | y |
| 9.0b | 3 | z |
| 13.6b | 5 | (-.f64 x y) |
| 13.6b | 5 | (-.f64 x y) |
Compiled 72 to 47 computations (34.7% saved)
| 2× | binary-search |
| Time | Left | Right |
|---|---|---|
| 19.0ms | 1.3483886699686101e+107 | 2.1608054538718934e+116 |
| 19.0ms | -7.855688326229753e-7 | -3.740723263907219e-8 |
Compiled 20 to 15 computations (25% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
| Outputs |
|---|
(*.f64 4 (/.f64 x z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(*.f64 4 (/.f64 x z)) |
(-.f64 (*.f64 -4 (/.f64 y z)) 2) |
(*.f64 4 (/.f64 x z)) |
3 calls:
| 25.0ms | x |
| 25.0ms | z |
| 15.0ms | y |
| Error | Segments | Branch |
|---|---|---|
| 13.5b | 5 | x |
| 16.5b | 3 | y |
| 14.5b | 5 | z |
Compiled 53 to 35 computations (34% saved)
| 4× | binary-search |
| Time | Left | Right |
|---|---|---|
| 70.0ms | 4.6491863559327915e+190 | 1.571668529579565e+199 |
| 19.0ms | 6.315436614856788e+45 | 2.5698477362318683e+46 |
| 20.0ms | 6.722002239345792e-16 | 9.620386510955022e-12 |
| 77.0ms | -1.2194719199968307e+148 | -1.9027637603458589e+146 |
Compiled 340 to 271 computations (20.3% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
| Outputs |
|---|
-2 |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 4 (/.f64 x z)) |
-2 |
3 calls:
| 91.0ms | x |
| 32.0ms | z |
| 22.0ms | y |
| Error | Segments | Branch |
|---|---|---|
| 26.7b | 7 | x |
| 23.9b | 5 | y |
| 23.4b | 6 | z |
Compiled 46 to 31 computations (32.6% saved)
| 5× | binary-search |
| Time | Left | Right |
|---|---|---|
| 53.0ms | 2.1608054538718934e+116 | 5.267560374695199e+117 |
| 27.0ms | 1.5181320951687677e-147 | 2.2651841491859506e-136 |
| 16.0ms | 1.129572197333676e-199 | 1.1046753915555016e-197 |
| 159.0ms | -1.4374047446578344e-46 | -1.4949167955134297e-47 |
| 19.0ms | -2.871659831047258e+76 | -6.788798284403714e+74 |
Compiled 434 to 337 computations (22.4% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 -4 (/.f64 y z)) |
| Outputs |
|---|
-2 |
(*.f64 -4 (/.f64 y z)) |
(*.f64 x (/.f64 4 z)) |
(*.f64 -4 (/.f64 y z)) |
(*.f64 x (/.f64 4 z)) |
-2 |
3 calls:
| 35.0ms | z |
| 32.0ms | x |
| 24.0ms | y |
| Error | Segments | Branch |
|---|---|---|
| 26.8b | 7 | x |
| 23.9b | 5 | y |
| 23.5b | 6 | z |
Compiled 41 to 28 computations (31.7% saved)
| 5× | binary-search |
| Time | Left | Right |
|---|---|---|
| 21.0ms | 2.1608054538718934e+116 | 5.267560374695199e+117 |
| 60.0ms | 1.5181320951687677e-147 | 2.2651841491859506e-136 |
| 17.0ms | 1.129572197333676e-199 | 1.1046753915555016e-197 |
| 86.0ms | -1.4374047446578344e-46 | -1.4949167955134297e-47 |
| 19.0ms | -2.871659831047258e+76 | -6.788798284403714e+74 |
Compiled 434 to 337 computations (22.4% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
| Outputs |
|---|
-2 |
(/.f64 -4 (/.f64 z y)) |
(*.f64 x (/.f64 4 z)) |
(/.f64 -4 (/.f64 z y)) |
(*.f64 x (/.f64 4 z)) |
-2 |
3 calls:
| 66.0ms | x |
| 53.0ms | y |
| 30.0ms | z |
| Error | Segments | Branch |
|---|---|---|
| 26.8b | 7 | x |
| 23.9b | 5 | y |
| 23.5b | 6 | z |
Compiled 36 to 25 computations (30.6% saved)
| 5× | binary-search |
| Time | Left | Right |
|---|---|---|
| 20.0ms | 2.1608054538718934e+116 | 5.267560374695199e+117 |
| 25.0ms | 1.5181320951687677e-147 | 2.2651841491859506e-136 |
| 17.0ms | 1.129572197333676e-199 | 1.1046753915555016e-197 |
| 202.0ms | -1.4374047446578344e-46 | -1.4949167955134297e-47 |
| 20.0ms | -2.871659831047258e+76 | -6.788798284403714e+74 |
Compiled 434 to 337 computations (22.4% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 x (/.f64 4 z)) |
| Outputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(*.f64 x (/.f64 4 z)) |
(*.f64 (/.f64 -4 z) y) |
(*.f64 x (/.f64 4 z)) |
-2 |
3 calls:
| 57.0ms | z |
| 32.0ms | x |
| 20.0ms | y |
| Error | Segments | Branch |
|---|---|---|
| 26.8b | 7 | x |
| 23.9b | 5 | y |
| 23.5b | 6 | z |
Compiled 31 to 22 computations (29% saved)
| 5× | binary-search |
| Time | Left | Right |
|---|---|---|
| 25.0ms | 2.1608054538718934e+116 | 5.267560374695199e+117 |
| 27.0ms | 1.5181320951687677e-147 | 2.2651841491859506e-136 |
| 17.0ms | 1.129572197333676e-199 | 1.1046753915555016e-197 |
| 92.0ms | -1.4374047446578344e-46 | -1.4949167955134297e-47 |
| 20.0ms | -2.871659831047258e+76 | -6.788798284403714e+74 |
Compiled 434 to 337 computations (22.4% saved)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
| Outputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
(*.f64 (/.f64 -4 z) y) |
(/.f64 4 (/.f64 z x)) |
-2 |
3 calls:
| 25.0ms | z |
| 24.0ms | x |
| 19.0ms | y |
| Error | Segments | Branch |
|---|---|---|
| 26.8b | 7 | x |
| 23.9b | 5 | y |
| 23.5b | 6 | z |
Compiled 26 to 19 computations (26.9% saved)
| 5× | binary-search |
| Time | Left | Right |
|---|---|---|
| 19.0ms | 2.1608054538718934e+116 | 5.267560374695199e+117 |
| 26.0ms | 1.5181320951687677e-147 | 2.2651841491859506e-136 |
| 18.0ms | 1.129572197333676e-199 | 1.1046753915555016e-197 |
| 123.0ms | -1.4374047446578344e-46 | -1.4949167955134297e-47 |
| 20.0ms | -2.871659831047258e+76 | -6.788798284403714e+74 |
Compiled 434 to 337 computations (22.4% saved)
Total -36.1b remaining (-138.6%)
Threshold costs -36.1b (-138.6%)
| Inputs |
|---|
-2 |
(*.f64 (/.f64 -4 z) y) |
| Outputs |
|---|
(*.f64 (/.f64 -4 z) y) |
-2 |
(*.f64 (/.f64 -4 z) y) |
3 calls:
| 48.0ms | z |
| 11.0ms | x |
| 11.0ms | y |
| Error | Segments | Branch |
|---|---|---|
| 33.7b | 3 | x |
| 26.1b | 3 | y |
| 28.3b | 3 | z |
Compiled 21 to 16 computations (23.8% saved)
| 2× | binary-search |
| Time | Left | Right |
|---|---|---|
| 85.0ms | 5.215058793366821e+119 | 1.3638264008450432e+120 |
| 24.0ms | -4.4108964075520585e+27 | -4.5090126869196884e+26 |
Compiled 90 to 75 computations (16.7% saved)
| 1× | egg-herbie |
| 10× | *-commutative_binary64 |
| 7× | +-commutative_binary64 |
| 7× | sub-neg_binary64 |
| 3× | neg-sub0_binary64 |
| 3× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 95 | 504 |
| 1 | 112 | 504 |
| 2 | 130 | 504 |
| 3 | 136 | 504 |
| 4 | 139 | 504 |
| 1× | fuel |
| 1× | saturated |
| Inputs |
|---|
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))) |
(if (<=.f64 z -3709743925165773/4722366482869645213696) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (-.f64 (*.f64 -4 (/.f64 y z)) 2))) |
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 x z)))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 4 (/.f64 x z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 4 (/.f64 x z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (/.f64 4 (/.f64 z x)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (/.f64 4 (/.f64 z x)) -2))))) |
(if (<=.f64 y -4410896407552058527150243840) (*.f64 (/.f64 -4 z) y) (if (<=.f64 y 1349999999999999987339048618920118542820517606049004879533206403273299783106959025545733712708519844106563658432739540992) -2 (*.f64 (/.f64 -4 z) y))) |
-2 |
| Outputs |
|---|
(fma.f64 (-.f64 x y) (/.f64 4 z) -2) |
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z) |
(/.f64 (*.f64 4 (+.f64 (-.f64 x y) (*.f64 z -1/2))) z) |
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))) |
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (+.f64 (*.f64 4 (/.f64 x z)) -2) (+.f64 (*.f64 -4 (/.f64 y z)) -2))) |
(if (<=.f64 y -4006904627906654562978678490667036922955694080) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (if (<=.f64 y 1178060141956710733479850691318100342788963352725833490890752) (+.f64 -2 (*.f64 4 (/.f64 x z))) (+.f64 -2 (*.f64 -4 (/.f64 y z))))) |
(if (<=.f64 z -3709743925165773/4722366482869645213696) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (-.f64 (*.f64 -4 (/.f64 y z)) 2))) |
(if (<=.f64 z -3709743925165773/4722366482869645213696) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (+.f64 (*.f64 -4 (/.f64 y z)) -2))) |
(if (<=.f64 z -3709743925165773/4722366482869645213696) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (if (<=.f64 z 134838866996861011874355365775080496788163766050587887465288000805442130925808509271684648600775690675027968) (*.f64 4 (/.f64 (-.f64 x y) z)) (+.f64 -2 (*.f64 -4 (/.f64 y z))))) |
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 x z)))))) |
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (+.f64 (*.f64 -4 (/.f64 y z)) -2) (*.f64 4 (/.f64 x z)))))) |
(if (<=.f64 x -11999999999999999735956588867891922092377886673613612969267038939631167270749289909123112593079126167637219220986444929626061187680773756744366030848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 1704230034688439/2535301200456458802993406410752) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (if (<=.f64 x 6315436614856787651033569584962509076690894848) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 15499999999999999275917157741862398350852461624367925092272774888328438371777695371606723719520392524746263337165894652201352885428762677752746599289022706153439066807390518247694171061467159837278208) (+.f64 -2 (*.f64 -4 (/.f64 y z))) (*.f64 4 (/.f64 x z)))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 4 (/.f64 x z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 4 (/.f64 x z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 -4 (/.f64 y z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (/.f64 -4 (/.f64 z y)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (*.f64 x (/.f64 4 z)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (*.f64 x (/.f64 4 z)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (/.f64 4 (/.f64 z x)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 (/.f64 -4 z) y) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (/.f64 4 (/.f64 z x)) -2))))) |
(if (<=.f64 z -28716598310472580815994242370560248013324795686168095599714112530920853471232) -2 (if (<=.f64 z -6170642089954523/411376139330301510538742295639337626245683966408394965837152256) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 3703135674690055/336648697699095904463423352504328234595221747380683127007889977796398857875013172615274658321765660878526910006795405933633243664011763447240180145321720374397134314952220454284266480504596653905362768111090008064) (/.f64 4 (/.f64 z x)) (if (<=.f64 z 5892103094213055/26187124863169134960105517574620793217733136368344518315866330944769070371237396439066160738607233257207093473020480568073738052367083144426628220715008) (*.f64 y (/.f64 -4 z)) (if (<=.f64 z 216080545387189339426102487406620953336994237943939168874804472662961755847797078720641328086311219579750520136400896) (/.f64 4 (/.f64 z x)) -2))))) |
(if (<=.f64 y -4410896407552058527150243840) (*.f64 (/.f64 -4 z) y) (if (<=.f64 y 1349999999999999987339048618920118542820517606049004879533206403273299783106959025545733712708519844106563658432739540992) -2 (*.f64 (/.f64 -4 z) y))) |
(if (<=.f64 y -4410896407552058527150243840) (*.f64 y (/.f64 -4 z)) (if (<=.f64 y 1349999999999999987339048618920118542820517606049004879533206403273299783106959025545733712708519844106563658432739540992) -2 (*.f64 y (/.f64 -4 z)))) |
-2 |
Compiled 388 to 269 computations (30.7% saved)
| 1× | egg-herbie |
| 925× | fma-neg_binary64 |
| 796× | fma-def_binary64 |
| 768× | times-frac_binary64 |
| 456× | cancel-sign-sub-inv_binary64 |
| 435× | associate-/l*_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 16 |
| 1 | 24 | 16 |
| 2 | 59 | 14 |
| 3 | 184 | 14 |
| 4 | 516 | 14 |
| 5 | 1668 | 11 |
| 6 | 6056 | 11 |
| 1× | node limit |
Compiled 262 to 187 computations (28.6% saved)
Compiled 355 to 228 computations (35.8% saved)
Loading profile data...