Time bar (total: 36.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.6% | 0.4% | 0 |
| 0% | 99.6% | 0.4% | 1 |
| 0% | 99.6% | 0.4% | 2 |
| 0% | 99.6% | 0.4% | 3 |
| 0% | 99.6% | 0.4% | 4 |
| 0% | 99.6% | 0.4% | 5 |
| 0% | 99.6% | 0.4% | 6 |
| 0% | 99.6% | 0.4% | 7 |
| 0% | 99.6% | 0.4% | 8 |
| 0% | 99.6% | 0.4% | 9 |
| 0% | 99.6% | 0.4% | 10 |
| 0% | 99.6% | 0.4% | 11 |
| 0% | 99.6% | 0.4% | 12 |
| 0% | 99.6% | 0.4% | 13 |
| 0% | 99.6% | 0.4% | 14 |
Compiled 34 to 27 computations (20.6% saved)
| 1× | intervals |
| 21.0ms | 256× | body | 128 | valid |
| 1.0ms | 7× | body | 128 | invalid |
Compiled 67 to 61 computations (9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (200.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4835 | 49 |
| 1 | 4835 | 49 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 26.3b
Compiled 66 to 52 computations (21.2% saved)
Found 4 expressions with local error:
| 0.0b | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) |
| 0.1b | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) |
| 0.1b | (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) |
| 25.8b | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)) |
| 1× | rewrite-expression-head |
| 24× | add-sqr-sqrt_binary64_1123 |
| 18× | *-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136 |
| 12× | add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 |
| 10× | pow1_binary64_1162 |
| 9× | times-frac_binary64_1107 associate-*r*_binary64_1041 associate-*l*_binary64_1042 |
| 6× | associate-*l/_binary64_1044 |
| 5× | flip3-+_binary64_1104 flip-+_binary64_1075 |
| 4× | add-log-exp_binary64_1140 |
| 3× | *-commutative_binary64_1032 cbrt-unprod_binary64_1134 prod-exp_binary64_1150 associate-/l*_binary64_1046 pow-prod-down_binary64_1172 unswap-sqr_binary64_1069 associate-/r*_binary64_1045 |
| 2× | associate-/l/_binary64_1048 associate-/r/_binary64_1047 |
| 1× | frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 div-exp_binary64_1152 cbrt-undiv_binary64_1135 |
4 calls:
| 27.0ms | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)) |
| 13.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) |
| 10.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) |
| 10.0ms | (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) |
4 calls:
| 6.0s | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)) |
| 350.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) |
| 212.0ms | (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) |
| 188.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) |
Compiled 19526 to 14154 computations (27.5% saved)
| 1× | egg-herbie |
Useful iterations: 0 (30.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5146 | 13450 |
17 alts after pruning (16 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 194 | 16 | 210 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 194 | 17 | 211 |
Merged error: 13.7b
Compiled 13507 to 5441 computations (59.7% saved)
Found 4 expressions with local error:
| 0.1b | (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) |
| 0.1b | (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) |
| 0.1b | (/.f64 1 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i)) |
| 25.7b | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))) |
| 1× | rewrite-expression-head |
| 35× | add-sqr-sqrt_binary64_1123 |
| 25× | *-un-lft-identity_binary64_1101 |
| 24× | add-cube-cbrt_binary64_1136 |
| 21× | add-exp-log_binary64_1139 associate-*r*_binary64_1041 |
| 20× | times-frac_binary64_1107 |
| 15× | add-cbrt-cube_binary64_1137 |
| 11× | pow1_binary64_1162 |
| 9× | associate-*l*_binary64_1042 |
| 6× | prod-exp_binary64_1150 flip3-+_binary64_1104 flip-+_binary64_1075 |
| 5× | associate-*r/_binary64_1043 unswap-sqr_binary64_1069 |
| 4× | cbrt-unprod_binary64_1134 add-log-exp_binary64_1140 associate-/r/_binary64_1047 div-exp_binary64_1152 |
| 3× | *-commutative_binary64_1032 associate-/l*_binary64_1046 pow-prod-down_binary64_1172 associate-/r*_binary64_1045 |
| 2× | 1-exp_binary64_1145 frac-times_binary64_1111 distribute-lft-in_binary64_1050 div-inv_binary64_1098 rec-exp_binary64_1151 cbrt-undiv_binary64_1135 associate-*l/_binary64_1044 distribute-rgt-in_binary64_1051 |
| 1× | inv-pow_binary64_1186 frac-2neg_binary64_1112 clear-num_binary64_1100 pow-flip_binary64_1175 un-div-inv_binary64_1099 |
4 calls:
| 36.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))) |
| 15.0ms | (/.f64 1 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i)) |
| 13.0ms | (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) |
| 10.0ms | (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) |
4 calls:
| 6.0s | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))) |
| 376.0ms | (/.f64 1 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i)) |
| 347.0ms | (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) |
| 218.0ms | (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) |
Compiled 20698 to 15116 computations (27% saved)
| 1× | egg-herbie |
Useful iterations: 0 (41.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4970 | 15140 |
| 1 | 4970 | 15140 |
18 alts after pruning (16 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 243 | 2 | 245 |
| Fresh | 1 | 14 | 15 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 244 | 18 | 262 |
Merged error: 13.6b
Compiled 15715 to 6345 computations (59.6% saved)
Found 4 expressions with local error:
| 8.0b | (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c))))) |
| 21.0b | (/.f64 (*.f64 z (pow.f64 y 3)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 23.6b | (/.f64 (*.f64 y y) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 24.7b | (/.f64 (*.f64 x (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 1× | rewrite-expression-head |
| 29× | add-exp-log_binary64_1139 |
| 24× | *-un-lft-identity_binary64_1101 |
| 19× | add-cbrt-cube_binary64_1137 |
| 18× | add-log-exp_binary64_1140 |
| 12× | times-frac_binary64_1107 associate-/r*_binary64_1045 |
| 10× | add-sqr-sqrt_binary64_1123 sum-log_binary64_1192 add-cube-cbrt_binary64_1136 div-exp_binary64_1152 |
| 7× | prod-exp_binary64_1150 distribute-lft-out_binary64_1052 |
| 6× | associate-/r/_binary64_1047 cbrt-undiv_binary64_1135 |
| 4× | pow1_binary64_1162 flip3-+_binary64_1104 flip-+_binary64_1075 |
| 3× | cbrt-unprod_binary64_1134 frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 associate-/l*_binary64_1046 |
| 2× | pow-exp_binary64_1169 pow-to-exp_binary64_1170 |
| 1× | associate-+r+_binary64_1033 +-commutative_binary64_1031 |
4 calls:
| 25.0ms | (/.f64 (*.f64 z (pow.f64 y 3)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 18.0ms | (/.f64 (*.f64 x (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 17.0ms | (/.f64 (*.f64 y y) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 17.0ms | (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c))))) |
4 calls:
| 913.0ms | (/.f64 (*.f64 z (pow.f64 y 3)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 777.0ms | (/.f64 (*.f64 x (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 657.0ms | (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c))))) |
| 563.0ms | (/.f64 (*.f64 y y) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
Compiled 26157 to 14732 computations (43.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (21.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5129 | 6841 |
22 alts after pruning (21 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 206 | 10 | 216 |
| Fresh | 4 | 11 | 15 |
| Picked | 1 | 0 | 1 |
| Done | 1 | 1 | 2 |
| Total | 212 | 22 | 234 |
Merged error: 12.0b
Compiled 30477 to 12658 computations (58.5% saved)
Found 4 expressions with local error:
| 8.0b | (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c))))) |
| 21.0b | (/.f64 (*.f64 z (pow.f64 y 3)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 23.4b | (/.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 y 3) (+.f64 y a)) (+.f64 i (*.f64 y (+.f64 (*.f64 y b) c))))) |
| 23.6b | (/.f64 (*.f64 y y) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 1× | rewrite-expression-head |
| 34× | *-un-lft-identity_binary64_1101 |
| 29× | times-frac_binary64_1107 |
| 24× | add-sqr-sqrt_binary64_1123 add-exp-log_binary64_1139 add-cube-cbrt_binary64_1136 |
| 18× | add-log-exp_binary64_1140 |
| 16× | add-cbrt-cube_binary64_1137 |
| 12× | unpow-prod-down_binary64_1180 |
| 11× | associate-/r*_binary64_1045 |
| 10× | sum-log_binary64_1192 associate-/r/_binary64_1047 |
| 9× | associate-/l*_binary64_1046 div-exp_binary64_1152 |
| 8× | flip3-+_binary64_1104 flip-+_binary64_1075 |
| 5× | distribute-lft-out_binary64_1052 cbrt-undiv_binary64_1135 |
| 4× | prod-exp_binary64_1150 pow1_binary64_1162 associate-*r/_binary64_1043 frac-add_binary64_1109 sqr-pow_binary64_1073 |
| 3× | frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 |
| 2× | pow-exp_binary64_1169 cbrt-unprod_binary64_1134 pow-to-exp_binary64_1170 |
| 1× | associate-+r+_binary64_1033 +-commutative_binary64_1031 |
4 calls:
| 19.0ms | (/.f64 (*.f64 z (pow.f64 y 3)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 17.0ms | (/.f64 (*.f64 y y) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 16.0ms | (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c))))) |
| 16.0ms | (/.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 y 3) (+.f64 y a)) (+.f64 i (*.f64 y (+.f64 (*.f64 y b) c))))) |
4 calls:
| 918.0ms | (/.f64 (*.f64 z (pow.f64 y 3)) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 658.0ms | (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c))))) |
| 575.0ms | (/.f64 (*.f64 y y) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 a (pow.f64 y 3)) (+.f64 (*.f64 b (*.f64 y y)) (+.f64 i (*.f64 y c)))))) |
| 459.0ms | (/.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 y 3) (+.f64 y a)) (+.f64 i (*.f64 y (+.f64 (*.f64 y b) c))))) |
Compiled 24621 to 14486 computations (41.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (22.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5174 | 8227 |
25 alts after pruning (24 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 224 | 13 | 237 |
| Fresh | 9 | 11 | 20 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 234 | 25 | 259 |
Merged error: 11.7b
Compiled 31528 to 12518 computations (60.3% saved)
Compiled 78373 to 44982 computations (42.6% saved)
Compiled 33 to 26 computations (21.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 104 | 586 |
| 1 | 104 | 586 |
| 1× | intervals |
| 719.0ms | 8000× | body | 128 | valid |
| 19.0ms | 234× | body | 128 | invalid |
Compiled 9125 to 5177 computations (43.3% saved)
Loading profile data...