Diagrams.Segment:$catParam from diagrams-lib-1.3.0.3, A
Time bar (total: 3.7s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 10 to 7 computations (30% saved)
ival-mult: 0.0ms (0% of total)const: 0.0ms (0% of total)backward-pass: 0.0ms (0% of total)| 391.0ms | 8256× | 0 | valid |
ival-mult: 175.0ms (93% of total)const: 11.0ms (5.8% of total)backward-pass: 3.0ms (1.6% of total)| 2× | egg-herbie |
| 1312× | fma-define |
| 1268× | fnmadd-define |
| 724× | sum3-define |
| 624× | fnmsub-define |
| 624× | fmsub-define |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 44 |
| 1 | 59 | 42 |
| 2 | 198 | 42 |
| 3 | 549 | 42 |
| 4 | 1135 | 42 |
| 5 | 2885 | 42 |
| 6 | 3798 | 42 |
| 7 | 3846 | 42 |
| 8 | 3846 | 42 |
| 9 | 3849 | 42 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 26 | 7 |
| 3 | 43 | 7 |
| 4 | 47 | 7 |
| 0 | 47 | 7 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(* (* (* x 3) x) y) |
| Outputs |
|---|
(* (* (* x 3) x) y) |
(*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
| Inputs |
|---|
(* (* (* x 3) x) y) |
(* (* (* (neg x) 3) (neg x)) y) |
(* (* (* x 3) x) (neg y)) |
(neg (* (* (* (neg x) 3) (neg x)) y)) |
(neg (* (* (* x 3) x) (neg y))) |
(* (* (* y 3) y) x) |
| Outputs |
|---|
(* (* (* x 3) x) y) |
(* x (* x (* 3 y))) |
(* (* (* (neg x) 3) (neg x)) y) |
(* x (* x (* 3 y))) |
(* (* (* x 3) x) (neg y)) |
(* x (* x (* y -3))) |
(neg (* (* (* (neg x) 3) (neg x)) y)) |
(* x (* x (* y -3))) |
(neg (* (* (* x 3) x) (neg y))) |
(* x (* x (* 3 y))) |
(* (* (* y 3) y) x) |
(* x (* 3 (* y y))) |
(abs x)
(negabs y)
| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 29 | 0 | - | 2 | (9.422504458198305e-157 3.01860397805899e+129) | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| 0 | 0 | - | 0 | - | x |
| 0 | 0 | - | 0 | - | (*.f64 x #s(literal 3 binary64)) |
| 0 | 0 | - | 0 | - | #s(literal 3 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 x #s(literal 3 binary64)) x) |
| 0 | 0 | - | 0 | - | y |
| 34.0ms | 512× | 0 | valid |
Compiled 51 to 20 computations (60.8% saved)
ival-mult: 11.0ms (95.4% of total)const: 1.0ms (8.7% of total)backward-pass: 0.0ms (0% of total)Compiled 9 to 6 computations (33.3% saved)
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 90.2% | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| ▶ | 90.2% | (*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
Compiled 18 to 12 computations (33.3% saved)
| 1× | egg-herbie |
Found 6 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| ✓ | cost-diff | 0 | (*.f64 x #s(literal 3 binary64)) |
| ✓ | cost-diff | 0 | (*.f64 (*.f64 x #s(literal 3 binary64)) x) |
| ✓ | cost-diff | 0 | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| ✓ | cost-diff | 0 | (*.f64 x x) |
| ✓ | cost-diff | 0 | (*.f64 y (*.f64 x x)) |
| ✓ | cost-diff | 0 | (*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
| 62× | *-lowering-*.f32 |
| 62× | *-lowering-*.f64 |
| 28× | associate-*r* |
| 22× | associate-*l* |
| 20× | *-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 36 |
| 1 | 21 | 36 |
| 2 | 42 | 36 |
| 3 | 48 | 36 |
| 0 | 48 | 36 |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(* 3 (* y (* x x))) |
3 |
(* y (* x x)) |
y |
(* x x) |
x |
(* (* (* x 3) x) y) |
(* (* x 3) x) |
(* x 3) |
x |
3 |
y |
| Outputs |
|---|
(* 3 (* y (* x x))) |
(*.f64 (*.f64 x x) (*.f64 #s(literal 3 binary64) y)) |
3 |
#s(literal 3 binary64) |
(* y (* x x)) |
(*.f64 y (*.f64 x x)) |
y |
(* x x) |
(*.f64 x x) |
x |
(* (* (* x 3) x) y) |
(*.f64 (*.f64 x x) (*.f64 #s(literal 3 binary64) y)) |
(* (* x 3) x) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* x 3) |
(*.f64 #s(literal 3 binary64) x) |
x |
3 |
#s(literal 3 binary64) |
y |
Found 6 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| ✓ | accuracy | 100.0% | (*.f64 x #s(literal 3 binary64)) |
| ✓ | accuracy | 99.8% | (*.f64 (*.f64 x #s(literal 3 binary64)) x) |
| ✓ | accuracy | 90.3% | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| ✓ | accuracy | 100.0% | (*.f64 x x) |
| ✓ | accuracy | 99.8% | (*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
| ✓ | accuracy | 90.3% | (*.f64 y (*.f64 x x)) |
| 29.0ms | 256× | 0 | valid |
Compiled 39 to 10 computations (74.4% saved)
ival-mult: 12.0ms (97.8% of total)const: 0.0ms (0% of total)backward-pass: 0.0ms (0% of total)| Inputs |
|---|
#<alt (* 3 (* y (* x x)))> |
#<alt (* y (* x x))> |
#<alt (* x x)> |
#<alt (* (* (* x 3) x) y)> |
#<alt (* (* x 3) x)> |
#<alt (* x 3)> |
| Outputs |
|---|
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
27 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | y | @ | 0 | (* 3 (* y (* x x))) |
| 1.0ms | x | @ | inf | (* (* x 3) x) |
| 1.0ms | x | @ | 0 | (* 3 (* y (* x x))) |
| 1.0ms | y | @ | inf | (* 3 (* y (* x x))) |
| 0.0ms | x | @ | inf | (* 3 (* y (* x x))) |
| 1× | batch-egg-rewrite |
| 2200× | pow-lowering-pow.f64 |
| 2200× | pow-lowering-pow.f32 |
| 1432× | prod-exp |
| 1316× | *-lowering-*.f32 |
| 1316× | *-lowering-*.f64 |
Useful iterations: 6 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 32 |
| 1 | 23 | 32 |
| 2 | 51 | 32 |
| 3 | 73 | 32 |
| 4 | 145 | 32 |
| 5 | 445 | 12 |
| 6 | 2389 | 10 |
| 7 | 2418 | 10 |
| 8 | 2548 | 10 |
| 9 | 3816 | 10 |
| 0 | 9192 | 10 |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(* 3 (* y (* x x))) |
(* y (* x x)) |
(* x x) |
(* (* (* x 3) x) y) |
(* (* x 3) x) |
(* x 3) |
| Outputs |
|---|
(*.f64 #s(literal 1 binary64) (*.f64 y #s(literal 3 binary64))) |
(*.f64 (*.f64 y #s(literal 3 binary64)) #s(literal 1 binary64)) |
(*.f64 y #s(literal 3 binary64)) |
(*.f64 #s(literal 3 binary64) y) |
y |
(*.f64 #s(literal 1 binary64) y) |
(*.f64 y #s(literal 1 binary64)) |
#s(literal 1 binary64) |
x |
(*.f64 #s(literal 1 binary64) (*.f64 y #s(literal 3 binary64))) |
(*.f64 (*.f64 y #s(literal 3 binary64)) #s(literal 1 binary64)) |
(*.f64 y #s(literal 3 binary64)) |
(*.f64 #s(literal 3 binary64) y) |
#s(literal 3 binary64) |
#s(literal 3 binary64) |
| 1× | egg-herbie |
| 62× | *-lowering-*.f32 |
| 62× | *-lowering-*.f64 |
| 32× | associate-*r* |
| 18× | associate-*l* |
| 14× | *-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 588 |
| 1 | 15 | 588 |
| 2 | 27 | 588 |
| 3 | 47 | 588 |
| 4 | 48 | 588 |
| 0 | 48 | 588 |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
| Outputs |
|---|
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 (pow x 2)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
Compiled 821 to 26 computations (96.8% saved)
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 118 | 5 | 123 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 0 | 0 |
| Total | 118 | 7 | 125 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 90.2% | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| ▶ | 90.2% | (*.f64 (*.f64 #s(literal 3 binary64) (*.f64 x x)) y) |
| ▶ | 30.6% | (*.f64 (*.f64 #s(literal 3 binary64) x) y) |
| ▶ | 4.9% | (*.f64 y #s(literal 3 binary64)) |
| ✓ | 90.2% | (*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
| ▶ | 30.6% | (*.f64 #s(literal 3 binary64) (*.f64 y x)) |
| ▶ | 99.7% | (*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
Compiled 92 to 64 computations (30.4% saved)
| 1× | egg-herbie |
Found 11 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| ✓ | cost-diff | 0 | (*.f64 x x) |
| ✓ | cost-diff | 0 | (*.f64 #s(literal 3 binary64) (*.f64 x x)) |
| ✓ | cost-diff | 0 | (*.f64 (*.f64 #s(literal 3 binary64) (*.f64 x x)) y) |
| ✓ | cost-diff | 0 | (*.f64 #s(literal 3 binary64) x) |
| ✓ | cost-diff | 0 | (*.f64 (*.f64 #s(literal 3 binary64) x) y) |
| ✓ | cost-diff | 0 | (*.f64 y x) |
| ✓ | cost-diff | 0 | (*.f64 #s(literal 3 binary64) (*.f64 y x)) |
| ✓ | cost-diff | 0 | (*.f64 y #s(literal 3 binary64)) |
| ✓ | cost-diff | 0 | (*.f64 x y) |
| ✓ | cost-diff | 0 | (*.f64 x (*.f64 x y)) |
| ✓ | cost-diff | 0 | (*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
| 62× | *-lowering-*.f32 |
| 62× | *-lowering-*.f64 |
| 18× | *-commutative |
| 16× | associate-*l* |
| 14× | associate-*r* |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 63 |
| 1 | 27 | 63 |
| 2 | 36 | 63 |
| 0 | 36 | 63 |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(* 3 (* x (* x y))) |
3 |
(* x (* x y)) |
x |
(* x y) |
y |
(* y 3) |
y |
3 |
(* 3 (* y x)) |
3 |
(* y x) |
y |
x |
(* (* 3 x) y) |
(* 3 x) |
3 |
x |
y |
(* (* 3 (* x x)) y) |
(* 3 (* x x)) |
3 |
(* x x) |
x |
y |
| Outputs |
|---|
(* 3 (* x (* x y))) |
(*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
3 |
#s(literal 3 binary64) |
(* x (* x y)) |
(*.f64 y (*.f64 x x)) |
x |
(* x y) |
(*.f64 x y) |
y |
(* y 3) |
(*.f64 #s(literal 3 binary64) y) |
y |
3 |
#s(literal 3 binary64) |
(* 3 (* y x)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
3 |
#s(literal 3 binary64) |
(* y x) |
(*.f64 x y) |
y |
x |
(* (* 3 x) y) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
3 |
#s(literal 3 binary64) |
x |
y |
(* (* 3 (* x x)) y) |
(*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
(* 3 (* x x)) |
(*.f64 #s(literal 3 binary64) (*.f64 x x)) |
3 |
#s(literal 3 binary64) |
(* x x) |
(*.f64 x x) |
x |
y |
Found 11 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| ✓ | accuracy | 100.0% | (*.f64 x x) |
| ✓ | accuracy | 99.8% | (*.f64 #s(literal 3 binary64) (*.f64 x x)) |
| ✓ | accuracy | 90.3% | (*.f64 (*.f64 #s(literal 3 binary64) (*.f64 x x)) y) |
| ✓ | accuracy | 100.0% | (*.f64 #s(literal 3 binary64) x) |
| ✓ | accuracy | 99.7% | (*.f64 (*.f64 #s(literal 3 binary64) x) y) |
| ✓ | accuracy | 100.0% | (*.f64 y x) |
| ✓ | accuracy | 99.6% | (*.f64 #s(literal 3 binary64) (*.f64 y x)) |
| ✓ | accuracy | 100.0% | (*.f64 y #s(literal 3 binary64)) |
| ✓ | accuracy | 100.0% | (*.f64 x y) |
| ✓ | accuracy | 99.8% | (*.f64 x (*.f64 x y)) |
| ✓ | accuracy | 99.8% | (*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
| 43.0ms | 256× | 0 | valid |
Compiled 66 to 15 computations (77.3% saved)
ival-mult: 21.0ms (98.1% of total)const: 0.0ms (0% of total)backward-pass: 0.0ms (0% of total)| Inputs |
|---|
#<alt (* 3 (* x (* x y)))> |
#<alt (* x (* x y))> |
#<alt (* x y)> |
#<alt (* y 3)> |
#<alt (* 3 (* y x))> |
#<alt (* y x)> |
#<alt (* (* 3 x) y)> |
#<alt (* 3 x)> |
#<alt (* (* 3 (* x x)) y)> |
#<alt (* 3 (* x x))> |
#<alt (* x x)> |
| Outputs |
|---|
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* (pow x 2) y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 y)> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* x y)> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 (* x y))> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 x)> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (* (pow x 2) y))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (* 3 (pow x 2))> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
#<alt (pow x 2)> |
54 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 3.0ms | y | @ | -inf | (* 3 (* y x)) |
| 0.0ms | x | @ | 0 | (* 3 (* y x)) |
| 0.0ms | y | @ | 0 | (* 3 (* y x)) |
| 0.0ms | y | @ | inf | (* x y) |
| 0.0ms | y | @ | 0 | (* x y) |
| 1× | batch-egg-rewrite |
| 2200× | pow-lowering-pow.f64 |
| 2200× | pow-lowering-pow.f32 |
| 1432× | prod-exp |
| 1316× | *-lowering-*.f32 |
| 1316× | *-lowering-*.f64 |
Useful iterations: 6 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 59 |
| 1 | 29 | 59 |
| 2 | 45 | 59 |
| 3 | 61 | 59 |
| 4 | 133 | 59 |
| 5 | 431 | 27 |
| 6 | 2365 | 21 |
| 7 | 2394 | 21 |
| 8 | 2524 | 21 |
| 9 | 3810 | 21 |
| 0 | 9084 | 21 |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(* 3 (* x (* x y))) |
(* x (* x y)) |
(* x y) |
(* y 3) |
(* 3 (* y x)) |
(* y x) |
(* (* 3 x) y) |
(* 3 x) |
(* (* 3 (* x x)) y) |
(* 3 (* x x)) |
(* x x) |
| Outputs |
|---|
(*.f64 #s(literal 3 binary64) y) |
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) y)) |
(*.f64 (*.f64 #s(literal 3 binary64) y) #s(literal 1 binary64)) |
(*.f64 y #s(literal 3 binary64)) |
y |
(*.f64 #s(literal 1 binary64) y) |
(*.f64 y #s(literal 1 binary64)) |
y |
(*.f64 #s(literal 1 binary64) y) |
(*.f64 y #s(literal 1 binary64)) |
(*.f64 #s(literal 3 binary64) y) |
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) y)) |
(*.f64 (*.f64 #s(literal 3 binary64) y) #s(literal 1 binary64)) |
(*.f64 y #s(literal 3 binary64)) |
(*.f64 #s(literal 3 binary64) y) |
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) y)) |
(*.f64 (*.f64 #s(literal 3 binary64) y) #s(literal 1 binary64)) |
(*.f64 y #s(literal 3 binary64)) |
y |
(*.f64 #s(literal 1 binary64) y) |
(*.f64 y #s(literal 1 binary64)) |
(*.f64 #s(literal 3 binary64) y) |
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) y)) |
(*.f64 (*.f64 #s(literal 3 binary64) y) #s(literal 1 binary64)) |
(*.f64 y #s(literal 3 binary64)) |
#s(literal 3 binary64) |
(*.f64 #s(literal 3 binary64) y) |
(*.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) y)) |
(*.f64 (*.f64 #s(literal 3 binary64) y) #s(literal 1 binary64)) |
(*.f64 y #s(literal 3 binary64)) |
#s(literal 3 binary64) |
#s(literal 1 binary64) |
x |
| 1× | egg-herbie |
| 62× | *-lowering-*.f32 |
| 62× | *-lowering-*.f64 |
| 18× | associate-*r* |
| 14× | *-commutative |
| 14× | associate-*l* |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 1008 |
| 1 | 22 | 1008 |
| 2 | 32 | 1008 |
| 3 | 36 | 1008 |
| 0 | 36 | 1008 |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* (pow x 2) y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 y) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* x y) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 (* x y)) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 x) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (* (pow x 2) y)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(* 3 (pow x 2)) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
(pow x 2) |
| Outputs |
|---|
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* (pow x 2) y) |
(*.f64 x (*.f64 x y)) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 y) |
(*.f64 #s(literal 3 binary64) y) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* x y) |
(*.f64 x y) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 (* x y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 x) |
(*.f64 #s(literal 3 binary64) x) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (* (pow x 2) y)) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(* 3 (pow x 2)) |
(*.f64 x (*.f64 #s(literal 3 binary64) x)) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
(pow x 2) |
(*.f64 x x) |
Compiled 1439 to 29 computations (98% saved)
7 alts after pruning (0 fresh and 7 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 249 | 0 | 249 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 5 | 5 |
| Done | 0 | 2 | 2 |
| Total | 249 | 7 | 256 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 90.2% | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| ✓ | 90.2% | (*.f64 (*.f64 #s(literal 3 binary64) (*.f64 x x)) y) |
| ✓ | 30.6% | (*.f64 (*.f64 #s(literal 3 binary64) x) y) |
| ✓ | 4.9% | (*.f64 y #s(literal 3 binary64)) |
| ✓ | 90.2% | (*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
| ✓ | 30.6% | (*.f64 #s(literal 3 binary64) (*.f64 y x)) |
| ✓ | 99.7% | (*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
Compiled 98 to 57 computations (41.8% saved)
| Inputs |
|---|
(*.f64 y #s(literal 3 binary64)) |
(*.f64 #s(literal 3 binary64) (*.f64 y x)) |
(*.f64 (*.f64 #s(literal 3 binary64) x) y) |
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(*.f64 #s(literal 3 binary64) (*.f64 y (*.f64 x x))) |
(*.f64 (*.f64 #s(literal 3 binary64) (*.f64 x x)) y) |
(*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| Outputs |
|---|
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
4 calls:
| 5.0ms | (*.f64 (*.f64 x #s(literal 3 binary64)) x) |
| 3.0ms | x |
| 3.0ms | y |
| 2.0ms | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| Accuracy | Segments | Branch |
|---|---|---|
| 99.7% | 1 | x |
| 99.7% | 1 | y |
| 99.7% | 1 | (*.f64 (*.f64 (*.f64 x #s(literal 3 binary64)) x) y) |
| 99.7% | 1 | (*.f64 (*.f64 x #s(literal 3 binary64)) x) |
Compiled 22 to 15 computations (31.8% saved)
| Inputs |
|---|
(*.f64 y #s(literal 3 binary64)) |
(*.f64 #s(literal 3 binary64) (*.f64 y x)) |
(*.f64 (*.f64 #s(literal 3 binary64) x) y) |
| Outputs |
|---|
(*.f64 #s(literal 3 binary64) (*.f64 y x)) |
2 calls:
| 2.0ms | x |
| 2.0ms | y |
| Accuracy | Segments | Branch |
|---|---|---|
| 30.6% | 1 | x |
| 30.6% | 1 | y |
Compiled 6 to 4 computations (33.3% saved)
Total 0.0b remaining (0%)
Threshold costs 0b (0%)
| Inputs |
|---|
(*.f64 y #s(literal 3 binary64)) |
| Outputs |
|---|
(*.f64 y #s(literal 3 binary64)) |
2 calls:
| 1.0ms | y |
| 1.0ms | x |
| Accuracy | Segments | Branch |
|---|---|---|
| 4.9% | 1 | x |
| 4.9% | 1 | y |
Compiled 6 to 4 computations (33.3% saved)
| 1× | egg-herbie |
| 10× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 15 |
| 1 | 15 | 15 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(*.f64 #s(literal 3 binary64) (*.f64 y x)) |
(*.f64 y #s(literal 3 binary64)) |
| Outputs |
|---|
(*.f64 #s(literal 3 binary64) (*.f64 x (*.f64 x y))) |
(*.f64 #s(literal 3 binary64) (*.f64 y x)) |
(*.f64 #s(literal 3 binary64) (*.f64 x y)) |
(*.f64 y #s(literal 3 binary64)) |
(*.f64 #s(literal 3 binary64) y) |
| 2200× | pow-lowering-pow.f64 |
| 2200× | pow-lowering-pow.f32 |
| 1432× | prod-exp |
| 1316× | *-lowering-*.f32 |
| 1316× | *-lowering-*.f64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 26 | 7 |
| 3 | 43 | 7 |
| 4 | 47 | 7 |
| 0 | 47 | 7 |
| 0 | 9 | 32 |
| 1 | 23 | 32 |
| 2 | 51 | 32 |
| 3 | 73 | 32 |
| 4 | 145 | 32 |
| 5 | 445 | 12 |
| 6 | 2389 | 10 |
| 7 | 2418 | 10 |
| 8 | 2548 | 10 |
| 9 | 3816 | 10 |
| 0 | 9192 | 10 |
| 0 | 9 | 588 |
| 1 | 15 | 588 |
| 2 | 27 | 588 |
| 3 | 47 | 588 |
| 4 | 48 | 588 |
| 0 | 48 | 588 |
| 1× | done |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | saturated |
Compiled 60 to 37 computations (38.3% saved)
(negabs y)
(abs x)
Compiled 178 to 112 computations (37.1% saved)
Loading profile data...