Time bar (total: 4.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 93.6% | 6.4% | 7 |
| 3.1% | 84.2% | 12.7% | 8 |
| 12.5% | 67.1% | 20.5% | 9 |
| 16% | 63.5% | 20.5% | 10 |
| 17.9% | 57.7% | 24.4% | 11 |
| 22.6% | 48.7% | 28.7% | 12 |
| 28.7% | 37.8% | 33.6% | 13 |
| 30.4% | 35.9% | 33.7% | 14 |
Compiled 13 to 9 computations (30.8% saved)
| 931.0ms | 8256× | body | 128 | valid |
| 414.0ms | 3877× | body | 128 | invalid |
Compiled 26 to 18 computations (30.8% saved)
| 2× | egg-herbie |
| 12× | *-commutative_binary64 |
| 12× | associate-/r*_binary64 |
| 1× | swap-V-l |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 84 |
| 1 | 56 | 84 |
| 2 | 64 | 84 |
| 0 | 4 | 4 |
| 1 | 4 | 4 |
| 1× | unsound |
| 1× | saturated |
| Inputs |
|---|
0 |
1 |
2 |
3 |
| Outputs |
|---|
0 |
1 |
2 |
3 |
2 |
| Inputs |
|---|
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
(*.f64 A (sqrt.f64 (/.f64 c0 (*.f64 V l)))) |
(*.f64 V (sqrt.f64 (/.f64 A (*.f64 c0 l)))) |
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 V c0)))) |
(*.f64 c0 (sqrt.f64 (/.f64 V (*.f64 A l)))) |
(*.f64 c0 (sqrt.f64 (/.f64 l (*.f64 V A)))) |
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))) |
| Outputs |
|---|
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
(*.f64 A (sqrt.f64 (/.f64 c0 (*.f64 V l)))) |
(*.f64 V (sqrt.f64 (/.f64 A (*.f64 c0 l)))) |
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 V c0)))) |
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 c0 V)))) |
(*.f64 c0 (sqrt.f64 (/.f64 V (*.f64 A l)))) |
(*.f64 c0 (sqrt.f64 (/.f64 l (*.f64 V A)))) |
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 l V) A))) |
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))) |
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
(sort V l)
Compiled 12 to 8 computations (33.3% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 2× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 12 |
| 1 | 13 | 12 |
| 2 | 15 | 12 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| Outputs |
|---|
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
|---|---|---|
| ▶ | 17.4b | (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
Compiled 36 to 24 computations (33.3% saved)
Found 3 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 1.7b | (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| ✓ | 4.2b | (/.f64 A (*.f64 V l)) |
| ✓ | 15.7b | (sqrt.f64 (/.f64 A (*.f64 V l))) |
30 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 4.0ms | l | @ | inf | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 2.0ms | A | @ | 0 | (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| 2.0ms | A | @ | 0 | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 1.0ms | l | @ | 0 | (sqrt.f64 (/.f64 A (*.f64 V l))) |
| 1.0ms | c0 | @ | 0 | (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| 1× | batch-egg-rewrite |
| 914× | log1p-expm1-u_binary64 |
| 914× | expm1-log1p-u_binary64 |
| 94× | add-sqr-sqrt_binary64 |
| 93× | *-un-lft-identity_binary64 |
| 93× | pow1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 28 |
| 1 | 185 | 28 |
| 2 | 2455 | 28 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (/.f64 A (*.f64 V l))) |
(/.f64 A (*.f64 V l)) |
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))) (cbrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (*.f64 V l)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) (pow.f64 (/.f64 (/.f64 A V) l) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2)) (sqrt.f64 (cbrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A V) l) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 A V) l)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 A V) l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 A (/.f64 1 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 A V) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (/.f64 A V) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))) (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2) (cbrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) (*.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 A) (/.f64 1 (*.f64 l (neg.f64 V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 V l)) A)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 A V) (/.f64 1 l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) (pow.f64 (/.f64 (/.f64 A V) l) 1/4)) (pow.f64 (/.f64 (/.f64 A V) l) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 V) (/.f64 A l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 l) (/.f64 A V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (cbrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (*.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (*.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) (cbrt.f64 (/.f64 (/.f64 A V) l))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A V) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 l (/.f64 A V)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 A V) l)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 A V) l))))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (/.f64 (/.f64 A V) l) (*.f64 c0 c0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2) (pow.f64 c0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 c0 3) (pow.f64 (/.f64 (/.f64 A V) l) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))))))) |
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 2× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 144 |
| 1 | 13 | 144 |
| 2 | 15 | 144 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
| Outputs |
|---|
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 82 | 13 | 95 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 83 | 13 | 96 |
| Status | Error | Program |
|---|---|---|
| 19.3b | (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) | |
| 39.6b | (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) | |
| 40.8b | (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3)) | |
| 37.0b | (*.f64 c0 (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))) | |
| 38.3b | (/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l))) | |
| 19.9b | (*.f64 c0 (pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) 2)) | |
| 25.2b | (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) | |
| 37.0b | (*.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))) | |
| ▶ | 18.0b | (*.f64 c0 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))))) |
| 54.1b | (log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))) | |
| 47.3b | (sqrt.f64 (*.f64 (/.f64 (/.f64 A V) l) (*.f64 c0 c0))) | |
| 20.3b | (pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 3) | |
| 26.4b | (*.f64 c0 (cbrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2))) |
Compiled 1579 to 716 computations (54.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 1.7b | (*.f64 c0 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))))) |
| ✓ | 1.7b | (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))) |
| ✓ | 2.7b | (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))) |
| ✓ | 15.7b | (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))) |
39 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 2.0ms | V | @ | 0 | (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))) |
| 2.0ms | A | @ | inf | (*.f64 c0 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))))) |
| 2.0ms | A | @ | -inf | (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))) |
| 2.0ms | A | @ | -inf | (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))) |
| 2.0ms | l | @ | 0 | (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))) |
| 1× | batch-egg-rewrite |
| 717× | log-prod_binary64 |
| 240× | expm1-udef_binary64 |
| 240× | log1p-udef_binary64 |
| 216× | log-pow_binary64 |
| 144× | add-sqr-sqrt_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 46 |
| 1 | 305 | 37 |
| 2 | 3587 | 37 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))) |
(*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))) |
(*.f64 c0 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))))) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 A) (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))) (cbrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (pow.f64 (*.f64 V l) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2)) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 V l)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (cbrt.f64 A) (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 A) (*.f64 V l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 V l) (cbrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (pow.f64 (cbrt.f64 A) 2)) (/.f64 (*.f64 V l) (cbrt.f64 (cbrt.f64 A))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 A 1/6) (/.f64 (*.f64 V l) (pow.f64 A 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (cbrt.f64 A)) (*.f64 V (neg.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 A) l) V)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 A) V) l)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 A) 1) (*.f64 V l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 A) (cbrt.f64 (pow.f64 (*.f64 V l) 2))) (cbrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1 (cbrt.f64 A)) (*.f64 V (neg.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 1 V) (cbrt.f64 A)) l)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 A) -1) (*.f64 V (neg.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 A) (/.f64 1 V)) l)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 A (pow.f64 (*.f64 V l) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 A (pow.f64 (/.f64 1 (*.f64 V l)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 V l)) 3) A))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (cbrt.f64 A) (*.f64 V l))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 A (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 A (*.f64 V l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 A -1) (*.f64 V (neg.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 A (/.f64 1 V)) l)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 V l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 A 3) (pow.f64 (/.f64 1 (*.f64 V l)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 A A) (pow.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 A) (*.f64 V l)) 3) (*.f64 A A)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 A (*.f64 V l))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l)))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))) (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (/.f64 A (*.f64 V l)) (*.f64 c0 c0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) (pow.f64 c0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 c0 3) (pow.f64 (/.f64 A (*.f64 V l)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))))) |
| 1× | egg-herbie |
| 818× | unswap-sqr_binary64 |
| 432× | associate-*l/_binary64 |
| 273× | *-commutative_binary64 |
| 251× | associate-/r/_binary64 |
| 218× | associate-*l*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 684 |
| 1 | 31 | 612 |
| 2 | 61 | 612 |
| 3 | 146 | 612 |
| 4 | 443 | 612 |
| 5 | 1514 | 612 |
| 6 | 2749 | 612 |
| 7 | 3143 | 612 |
| 8 | 4430 | 612 |
| 9 | 4534 | 612 |
| 10 | 4696 | 612 |
| 11 | 4911 | 612 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
| Outputs |
|---|
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(*.f64 (pow.f64 A 1/3) (/.f64 1 (*.f64 V l))) |
(/.f64 (*.f64 (cbrt.f64 A) 1) (*.f64 V l)) |
(/.f64 (cbrt.f64 A) (*.f64 V l)) |
(/.f64 (/.f64 (cbrt.f64 A) V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(/.f64 A (*.f64 V l)) |
(/.f64 (/.f64 A V) l) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) |
13 alts after pruning (12 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 106 | 1 | 107 |
| Fresh | 1 | 11 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 107 | 13 | 120 |
| Status | Error | Program |
|---|---|---|
| 25.2b | (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) | |
| 46.3b | (sqrt.f64 (*.f64 (/.f64 A (*.f64 V l)) (*.f64 c0 c0))) | |
| ▶ | 19.3b | (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) |
| 39.6b | (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) | |
| 40.8b | (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3)) | |
| 37.0b | (*.f64 c0 (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))) | |
| 38.3b | (/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l))) | |
| 19.9b | (*.f64 c0 (pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) 2)) | |
| 37.0b | (*.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))) | |
| ✓ | 18.0b | (*.f64 c0 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))))) |
| 54.1b | (log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))) | |
| 20.3b | (pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 3) | |
| 26.4b | (*.f64 c0 (cbrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2))) |
Compiled 1892 to 848 computations (55.2% saved)
Found 3 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 1.7b | (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) |
| ✓ | 5.9b | (*.f64 (/.f64 1 V) (/.f64 A l)) |
| ✓ | 15.7b | (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))) |
30 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 2.0ms | A | @ | 0 | (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) |
| 1.0ms | A | @ | inf | (*.f64 (/.f64 1 V) (/.f64 A l)) |
| 1.0ms | V | @ | inf | (*.f64 (/.f64 1 V) (/.f64 A l)) |
| 0.0ms | V | @ | inf | (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) |
| 0.0ms | V | @ | 0 | (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))) |
| 1× | batch-egg-rewrite |
| 589× | log-prod_binary64 |
| 196× | expm1-udef_binary64 |
| 196× | log1p-udef_binary64 |
| 174× | log-pow_binary64 |
| 137× | log-div_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 28 |
| 1 | 227 | 28 |
| 2 | 2969 | 28 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))) |
(*.f64 (/.f64 1 V) (/.f64 A l)) |
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) (pow.f64 (/.f64 A (*.f64 V l)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 A l)) (pow.f64 V -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 V -1/2) (sqrt.f64 (/.f64 A l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2)) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 V l)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 A (*.f64 V l))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 A (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 A (*.f64 V l))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 A (*.f64 V l)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 V (/.f64 l A)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 (/.f64 l A) V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 V l) A))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 V (/.f64 A l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 l (/.f64 A V)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 V) (/.f64 l A))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 A (*.f64 V l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 A (/.f64 V (/.f64 1 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 A l) V)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 A) 2) (/.f64 (*.f64 V l) (cbrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 (/.f64 A l)) 2) (/.f64 V (cbrt.f64 (/.f64 A l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 A) (/.f64 (*.f64 V l) (sqrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 A l)) (/.f64 V (sqrt.f64 (/.f64 A l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (*.f64 (neg.f64 V) (/.f64 l A)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (*.f64 (/.f64 l A) (neg.f64 V)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 A) (neg.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 A) (*.f64 (neg.f64 V) l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 A) (*.f64 V (neg.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 A V) l)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 A l)) (neg.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 A V)) (neg.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 A) 1) (*.f64 (neg.f64 l) V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1 (neg.f64 A)) (*.f64 (neg.f64 V) (neg.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 A -1) (*.f64 l (neg.f64 V)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 A) -1) (*.f64 (neg.f64 l) (neg.f64 V)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 A l) (sqrt.f64 V)) (sqrt.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 A l) 1) V)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 A l) (pow.f64 (cbrt.f64 V) 2)) (cbrt.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 A V) 1) l)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 A V) (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 A V) (sqrt.f64 l)) (sqrt.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1 (/.f64 A l)) (neg.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 A) (/.f64 1 V)) (neg.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 1 V) (neg.f64 A)) (neg.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 A l) -1) (neg.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 V l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (/.f64 A l) 3) (pow.f64 V 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (/.f64 (pow.f64 V -2) V) (pow.f64 (/.f64 A l) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 A l) 3) (/.f64 (pow.f64 V -2) V)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 A (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 A (*.f64 V l))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 A (*.f64 V l)))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))) (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (/.f64 A (*.f64 V l)) (*.f64 c0 c0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 3/2) (pow.f64 c0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 c0 3) (pow.f64 (/.f64 A (*.f64 V l)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))))) |
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 2× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 396 |
| 1 | 13 | 396 |
| 2 | 15 | 396 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
| Outputs |
|---|
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
14 alts after pruning (12 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 103 | 2 | 105 |
| Fresh | 1 | 10 | 11 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 104 | 14 | 118 |
| Status | Error | Program |
|---|---|---|
| 25.2b | (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) | |
| 46.3b | (sqrt.f64 (*.f64 (/.f64 A (*.f64 V l)) (*.f64 c0 c0))) | |
| ✓ | 19.3b | (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) |
| 39.6b | (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) | |
| ▶ | 17.8b | (*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A)))) |
| ✓ | 18.0b | (*.f64 c0 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))))) |
| 51.4b | (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 V))) | |
| 40.8b | (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3)) | |
| 37.0b | (*.f64 c0 (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))) | |
| 38.3b | (/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l))) | |
| 19.9b | (*.f64 c0 (pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) 2)) | |
| 54.1b | (log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))) | |
| 20.3b | (pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 3) | |
| 26.4b | (*.f64 c0 (cbrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2))) |
Compiled 1649 to 741 computations (55.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.6b | (/.f64 1 (/.f64 (*.f64 V l) A)) |
| ✓ | 1.7b | (*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A)))) |
| ✓ | 4.0b | (/.f64 (*.f64 V l) A) |
| ✓ | 15.7b | (sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A))) |
39 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 4.0ms | A | @ | -inf | (/.f64 (*.f64 V l) A) |
| 2.0ms | c0 | @ | -inf | (*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A)))) |
| 1.0ms | V | @ | 0 | (sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A))) |
| 0.0ms | A | @ | 0 | (/.f64 (*.f64 V l) A) |
| 0.0ms | V | @ | 0 | (/.f64 (*.f64 V l) A) |
| 1× | batch-egg-rewrite |
| 592× | log-prod_binary64 |
| 194× | expm1-udef_binary64 |
| 194× | log1p-udef_binary64 |
| 175× | log-pow_binary64 |
| 120× | log-div_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 44 |
| 1 | 226 | 35 |
| 2 | 2928 | 35 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A))) |
(/.f64 (*.f64 V l) A) |
(*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A)))) |
(/.f64 1 (/.f64 (*.f64 V l) A)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))) (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) (cbrt.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (/.f64 A l) V) 1/4) (pow.f64 (/.f64 (/.f64 A l) V) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) 2)) (sqrt.f64 (cbrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 1 (*.f64 V l))) (sqrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1 (*.f64 V l)) 1/2) (sqrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (sqrt.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (sqrt.f64 (*.f64 (/.f64 V A) l)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (sqrt.f64 (*.f64 (/.f64 V A) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 -1) (sqrt.f64 (/.f64 (neg.f64 V) (/.f64 A l))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 V A) l) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A l) V) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A l) V) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A l) V) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (/.f64 V A) l)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 A l) V) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 A l) V)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (/.f64 V A) l))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 (/.f64 V A) l))) (cbrt.f64 (exp.f64 (*.f64 (/.f64 V A) l))))) (log.f64 (cbrt.f64 (exp.f64 (*.f64 (/.f64 V A) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 V A) l)))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 V A) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 V A) l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (/.f64 V A) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 V (/.f64 1 (/.f64 A l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 V (*.f64 l (/.f64 1 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 l (*.f64 V (/.f64 1 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 V l) (/.f64 1 A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 V A) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 V l)) 2) (*.f64 (cbrt.f64 (*.f64 V l)) (/.f64 1 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (/.f64 V A) l)) (pow.f64 (cbrt.f64 (*.f64 (/.f64 V A) l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 V A) l)) 2) (cbrt.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 V l)) (*.f64 (sqrt.f64 (*.f64 V l)) (/.f64 1 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (/.f64 V A) l)) (sqrt.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 V (neg.f64 l)) (/.f64 1 (neg.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 A) (*.f64 V l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 V 1) (/.f64 l A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 l 1) (/.f64 V A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 V A) l)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 V l)) 2) 1) (/.f64 (cbrt.f64 (*.f64 V l)) A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 V l)) 1) (/.f64 (sqrt.f64 (*.f64 V l)) A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 A) 2)) (/.f64 (*.f64 V l) (cbrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 V (pow.f64 (cbrt.f64 A) 2)) (/.f64 l (cbrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 l (pow.f64 (cbrt.f64 A) 2)) (/.f64 V (cbrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 V l)) 2) (pow.f64 (cbrt.f64 A) 2)) (cbrt.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 V l)) (pow.f64 (cbrt.f64 A) 2)) (/.f64 (sqrt.f64 (*.f64 V l)) (cbrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 A)) (/.f64 (*.f64 V l) (sqrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 V (sqrt.f64 A)) (/.f64 l (sqrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 l (sqrt.f64 A)) (/.f64 V (sqrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 V l)) 2) (sqrt.f64 A)) (/.f64 (cbrt.f64 (*.f64 V l)) (sqrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 V A) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A l) V) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 V A) l) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 V A) l)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (/.f64 V A) l)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 V l) (neg.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (/.f64 V A) l) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 V A) l))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 V A) l) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 V l) 3) (pow.f64 A 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 V A) l)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 V A) l))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A l) V)))) (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A l) V)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A l) V))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A l) V))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A l) V))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 c0 (sqrt.f64 (*.f64 (/.f64 V A) l)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (/.f64 (/.f64 A l) V) (*.f64 c0 c0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (/.f64 A l) V) 3/2) (pow.f64 c0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 c0 3) (pow.f64 (/.f64 (/.f64 A l) V) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (/.f64 A l) V))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (/.f64 A l) V))) (cbrt.f64 (exp.f64 (/.f64 (/.f64 A l) V))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (/.f64 A l) V)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (/.f64 A l) V)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (/.f64 A l) V)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 A l) V))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (/.f64 A l) V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 A (/.f64 1 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 A l) V) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) (sqrt.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) (pow.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) 2) (cbrt.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (/.f64 A l) V) 1/4) (*.f64 (pow.f64 (/.f64 (/.f64 A l) V) 1/4) (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 1 (/.f64 (neg.f64 V) (/.f64 A l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 V l)) A)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 V l)) (pow.f64 (/.f64 1 A) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) (pow.f64 (/.f64 (/.f64 A l) V) 1/4)) (pow.f64 (/.f64 (/.f64 A l) V) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 V A) l)) 2) -1) (pow.f64 (cbrt.f64 (*.f64 (/.f64 V A) l)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 V) (/.f64 A l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 l) (/.f64 A V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (/.f64 (cbrt.f64 A) (cbrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (*.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (*.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l))) (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 V (neg.f64 l))) (neg.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) (cbrt.f64 (/.f64 (/.f64 A l) V))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (*.f64 V l)) 1) A)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (*.f64 V l)) (pow.f64 (cbrt.f64 A) 2)) (cbrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 1 (*.f64 V l)) (sqrt.f64 A)) (sqrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 V A) l) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A l) V) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 V A) l) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A l) V) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (/.f64 V A) l) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 A l) V))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 A l) V) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 A l) V)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 V A) l)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 A l) V)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 A l) V))))))) |
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 2× | associate-/r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 396 |
| 1 | 13 | 396 |
| 2 | 15 | 396 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
| Outputs |
|---|
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
(/.f64 A (*.f64 V l)) |
12 alts after pruning (10 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 150 | 3 | 153 |
| Fresh | 4 | 7 | 11 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 1 | 2 |
| Total | 155 | 12 | 167 |
| Status | Error | Program |
|---|---|---|
| 25.2b | (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) | |
| 46.3b | (sqrt.f64 (*.f64 (/.f64 A (*.f64 V l)) (*.f64 c0 c0))) | |
| ✓ | 17.8b | (*.f64 c0 (sqrt.f64 (/.f64 1 (/.f64 (*.f64 V l) A)))) |
| ✓ | 18.0b | (*.f64 c0 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))))) |
| 20.2b | (/.f64 c0 (sqrt.f64 (*.f64 (/.f64 V A) l))) | |
| 51.4b | (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 V))) | |
| 37.0b | (*.f64 c0 (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))) | |
| 19.2b | (*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/2)) | |
| 54.1b | (log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l)))) | |
| 39.6b | (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) | |
| 20.2b | (*.f64 c0 (pow.f64 (*.f64 (/.f64 V A) l) -1/2)) | |
| 38.3b | (/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l))) |
Compiled 2310 to 966 computations (58.2% saved)
Total 3.3b remaining (49.2%)
Threshold costs 0b (0%)
Compiled 1107 to 449 computations (59.4% saved)
| 3× | left-value |
3 calls:
| 0.0ms | (*.f64 V l) |
| 0.0ms | (*.f64 V l) |
| 0.0ms | (*.f64 V l) |
| Iters | Point | Range | ||||
|---|---|---|---|---|---|---|
0.0 | ∈ [ | 0.0 | , | 5.340706294470269e-300 | ] | |
-2e-266 | ∈ [ | -3.577980343446454e-266 | , | -8.857952055080178e-285 | ] | |
-1.1e+281 | ∈ [ | -1.1263748063886285e+281 | , | -1.0283910885832565e+281 | ] | |
Compiled 7 to 5 computations (28.6% saved)
| 1× | egg-herbie |
| 9× | *-commutative_binary64 |
| 4× | +-commutative_binary64 |
| 4× | sub-neg_binary64 |
| 4× | neg-sub0_binary64 |
| 4× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 87 |
| 1 | 44 | 87 |
| 2 | 53 | 87 |
| 3 | 59 | 87 |
| 4 | 62 | 87 |
| 5 | 63 | 87 |
| 1× | saturated |
| Inputs |
|---|
(if (<=.f64 (*.f64 V l) -110000000000000003606047058114830807342777581132364292068966693518503686351711176952072781653965297235919924734000656590057179814460176526559339021142234677323725668467018207239680059959066455613936140380376133069200186153168931921734404342130860508428666424449194061627139117023232) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) -1452164949685335/72608247484266751113186645417475613287659189534150120071082610318161164900410369802010171606257634306142515810068016262229227795192622349013224149467890362587059123068723626657357734855190319183117148231560128769827526792328021488679545846696711820459572514914753120743347917422592) (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) (if (<=.f64 (*.f64 V l) 0) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l))))))) |
| Outputs |
|---|
(if (<=.f64 (*.f64 V l) -110000000000000003606047058114830807342777581132364292068966693518503686351711176952072781653965297235919924734000656590057179814460176526559339021142234677323725668467018207239680059959066455613936140380376133069200186153168931921734404342130860508428666424449194061627139117023232) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) -1452164949685335/72608247484266751113186645417475613287659189534150120071082610318161164900410369802010171606257634306142515810068016262229227795192622349013224149467890362587059123068723626657357734855190319183117148231560128769827526792328021488679545846696711820459572514914753120743347917422592) (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) (if (<=.f64 (*.f64 V l) 0) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l))))))) |
| 1× | fuel |
Compiled 409 to 238 computations (41.8% saved)
Loading profile data...