Time bar (total: 20.9s)
| 75.0ms | 579× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 29 |
| 1 | 43 | 29 |
| 2 | 96 | 29 |
| 3 | 290 | 29 |
| 4 | 969 | 29 |
| done | 5000 | 29 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 13.3b
Found 4 expressions with local error:
| 0.2b | (- (* c a) (* y i)) |
| 4.1b | (* x (- (* y z) (* t a))) |
| 5.7b | (* j (- (* c a) (* y i))) |
| 6.2b | (* b (- (* c z) (* t i))) |
| 16× | add-sqr-sqrt |
| 10× | pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube |
| 9× | associate-*r* associate-*l* |
| 7× | sub-neg |
| 6× | distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp |
| 4× | flip3-- flip-- |
| 3× | pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 1× | diff-log |
| 8.0ms | (- (* c a) (* y i)) |
| 51.0ms | (* x (- (* y z) (* t a))) |
| 33.0ms | (* j (- (* c a) (* y i))) |
| 43.0ms | (* b (- (* c z) (* t i))) |
| 52.0ms | (- (* c a) (* y i)) |
| 95.0ms | (* x (- (* y z) (* t a))) |
| 89.0ms | (* j (- (* c a) (* y i))) |
| 117.0ms | (* b (- (* c z) (* t i))) |
Useful iterations: done (1.1s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 167 | 1155 |
| 1 | 459 | 1141 |
| 2 | 1869 | 1015 |
| done | 5000 | 1007 |
22 alts after pruning (22 fresh and 0 done)
Merged error: 5.6b
Found 4 expressions with local error:
| 3.8b | (* x (* y z)) |
| 4.9b | (* a (* x t)) |
| 5.7b | (* j (- (* c a) (* y i))) |
| 6.2b | (* b (- (* c z) (* t i))) |
| 18× | pow1 add-exp-log add-cbrt-cube |
| 14× | add-sqr-sqrt |
| 12× | associate-*l* |
| 10× | add-cube-cbrt *-un-lft-identity |
| 8× | associate-*r* pow-prod-down prod-exp cbrt-unprod |
| 4× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp |
| 2× | flip3-- flip-- unswap-sqr |
| 18.0ms | (* x (* y z)) |
| 16.0ms | (* a (* x t)) |
| 54.0ms | (* j (- (* c a) (* y i))) |
| 49.0ms | (* b (- (* c z) (* t i))) |
| 47.0ms | (* x (* y z)) |
| 30.0ms | (* a (* x t)) |
| 106.0ms | (* j (- (* c a) (* y i))) |
| 108.0ms | (* b (- (* c z) (* t i))) |
Useful iterations: done (1.1s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 173 | 958 |
| 1 | 462 | 946 |
| 2 | 1808 | 810 |
| done | 5000 | 806 |
19 alts after pruning (19 fresh and 0 done)
Merged error: 2.8b
Found 4 expressions with local error:
| 3.8b | (* x (* y z)) |
| 4.9b | (* a (* x t)) |
| 5.5b | (* t (* i b)) |
| 5.7b | (* j (- (* c a) (* y i))) |
| 21× | pow1 add-exp-log add-cbrt-cube |
| 12× | associate-*l* |
| 11× | add-sqr-sqrt |
| 10× | pow-prod-down prod-exp cbrt-unprod |
| 9× | add-cube-cbrt *-un-lft-identity |
| 6× | associate-*r* |
| 4× | *-commutative add-log-exp |
| 2× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ |
| 1× | flip3-- flip-- unswap-sqr |
| 16.0ms | (* x (* y z)) |
| 26.0ms | (* a (* x t)) |
| 24.0ms | (* t (* i b)) |
| 44.0ms | (* j (- (* c a) (* y i))) |
| 45.0ms | (* x (* y z)) |
| 40.0ms | (* a (* x t)) |
| 40.0ms | (* t (* i b)) |
| 131.0ms | (* j (- (* c a) (* y i))) |
Useful iterations: done (1.3s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 154 | 779 |
| 1 | 403 | 767 |
| 2 | 1612 | 639 |
| done | 5000 | 637 |
22 alts after pruning (22 fresh and 0 done)
Merged error: 2.0b
Found 4 expressions with local error:
| 4.9b | (* a (* x t)) |
| 5.2b | (* (* x y) z) |
| 5.5b | (* t (* i b)) |
| 5.7b | (* j (- (* c a) (* y i))) |
| 21× | pow1 add-exp-log add-cbrt-cube |
| 11× | add-sqr-sqrt |
| 10× | associate-*l* pow-prod-down prod-exp cbrt-unprod |
| 9× | add-cube-cbrt *-un-lft-identity |
| 8× | associate-*r* |
| 4× | *-commutative add-log-exp |
| 2× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ |
| 1× | flip3-- flip-- unswap-sqr |
| 16.0ms | (* a (* x t)) |
| 36.0ms | (* (* x y) z) |
| 17.0ms | (* t (* i b)) |
| 41.0ms | (* j (- (* c a) (* y i))) |
| 46.0ms | (* a (* x t)) |
| 27.0ms | (* (* x y) z) |
| 42.0ms | (* t (* i b)) |
| 101.0ms | (* j (- (* c a) (* y i))) |
Useful iterations: done (1.3s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 156 | 782 |
| 1 | 414 | 768 |
| 2 | 1896 | 644 |
| done | 5001 | 638 |
22 alts after pruning (22 fresh and 0 done)
Merged error: 1.6b
23.1% (8.5b remaining)
Error of 10.1b against oracle of 1.6b and baseline of 12.7b
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 2.6181217188683993e-40 | 5.2339903389948885e-36 | 4.4717148671002066e-37 |
| 7 | 2.9806770249952817e-238 | 5.550469029505202e-237 | 6.169988600573071e-238 |
| 5 | -1.1444443131251932e-247 | -4.657824840852224e-248 | -5.6003152044590445e-248 |
| 7 | -1.7664139376234822e-82 | -3.789098967928962e-84 | -1.738101285062655e-82 |
Useful iterations: 1 (6.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 68 | 207 |
| 1 | 120 | 203 |
| 2 | 149 | 203 |
| 3 | 154 | 203 |
| done | 154 | 203 |
| 3.4s | 18744× | body | 80 | valid |