Time bar (total: 2.5s)
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 50% | 50% | 0 |
| 0% | 50% | 50% | 1 |
| 25% | 25% | 50% | 2 |
| 25% | 25% | 50% | 3 |
| 31.2% | 18.7% | 50% | 4 |
| 31.2% | 18.7% | 50% | 5 |
| 34.3% | 15.6% | 50% | 6 |
| 34.3% | 15.6% | 50% | 7 |
| 35.9% | 14% | 50% | 8 |
| 35.9% | 14% | 50% | 9 |
| 36.7% | 13.3% | 50% | 10 |
| 36.7% | 13.3% | 50% | 11 |
| 37.1% | 12.9% | 50% | 12 |
| 37.1% | 12.9% | 50% | 13 |
| 37.3% | 12.7% | 50% | 14 |
| 10.0ms | 201× | body | 80 | valid |
| 7.0ms | 22× | body | 2560 | valid |
| 4.0ms | 9× | body | 5120 | valid |
| 3.0ms | 256× | pre | 80 | true |
| 2.0ms | 8× | body | 1280 | valid |
| 2.0ms | 8× | body | 640 | valid |
| 1.0ms | 5× | body | 320 | valid |
| 0.0ms | 3× | body | 160 | valid |
Useful iterations: 0 (15.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 265 | 15 |
| 1 | 265 | 15 |
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 |
Merged error: 36.6b
Found 2 expressions with local error:
| 1.2b | (- (sqrt (+ (* re re) (* im im))) re) |
| 28.6b | (sqrt (+ (* re re) (* im im))) |
| 8× | add-sqr-sqrt |
| 5× | *-un-lft-identity |
| 4× | sqrt-prod add-log-exp |
| 3× | pow1 add-cube-cbrt |
| 2× | add-exp-log sqrt-div add-cbrt-cube difference-of-squares |
| 1× | sub-neg rem-sqrt-square flip3-- sqrt-pow1 flip3-+ pow1/2 diff-log flip-- flip-+ distribute-lft-out-- |
| 7.0ms | (- (sqrt (+ (* re re) (* im im))) re) |
| 4.0ms | (sqrt (+ (* re re) (* im im))) |
| 7.0ms | (- (sqrt (+ (* re re) (* im im))) re) |
| 7.0ms | (sqrt (+ (* re re) (* im im))) |
Useful iterations: 0 (51.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4871 | 377 |
| 1 | 4871 | 377 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 30 | 5 | 35 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 31 | 5 | 36 |
Merged error: 7.6b
Found 1 expressions with local error:
| 0.0b | (sqrt (* 2.0 (- im re))) |
| 4× | pow1 |
| 2× | sqrt-pow1 sqrt-div associate-*r/ |
| 1× | add-exp-log add-sqr-sqrt add-cube-cbrt flip3-- *-un-lft-identity pow1/2 pow-prod-down sqrt-prod add-cbrt-cube flip-- add-log-exp |
| 4.0ms | (sqrt (* 2.0 (- im re))) |
| 18.0ms | (sqrt (* 2.0 (- im re))) |
Useful iterations: 0 (35.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5758 | 162 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 15 | 1 | 16 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 15 | 6 | 21 |
Merged error: 7.6b
Found 3 expressions with local error:
| 0.0b | (log (sqrt (* 2.0 (- im re)))) |
| 0.0b | (sqrt (* 2.0 (- im re))) |
| 3.7b | (exp (log (sqrt (* 2.0 (- im re))))) |
| 14× | pow1 |
| 8× | log-prod log-pow |
| 7× | exp-prod |
| 6× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity sqrt-pow1 sqrt-div associate-*r/ |
| 4× | add-exp-log log-div exp-sum |
| 3× | flip3-- pow1/2 pow-prod-down sqrt-prod add-cbrt-cube flip-- add-log-exp |
| 2× | exp-diff |
| 1× | rem-log-exp rem-exp-log |
| 5.0ms | (log (sqrt (* 2.0 (- im re)))) |
| 5.0ms | (sqrt (* 2.0 (- im re))) |
| 6.0ms | (exp (log (sqrt (* 2.0 (- im re))))) |
| 16.0ms | (log (sqrt (* 2.0 (- im re)))) |
| 14.0ms | (sqrt (* 2.0 (- im re))) |
| 16.0ms | (exp (log (sqrt (* 2.0 (- im re))))) |
Useful iterations: 0 (17.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5024 | 620 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 59 | 2 | 61 |
| Fresh | 0 | 4 | 4 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 60 | 7 | 67 |
Merged error: 7.6b
Found 1 expressions with local error:
| 4.2b | (pow (exp 1/2) (log (* 2.0 (- im re)))) |
| 5× | pow1 pow-unpow |
| 4× | add-sqr-sqrt add-cube-cbrt pow-pow *-un-lft-identity |
| 3× | unpow-prod-down exp-prod |
| 2× | log-div associate-*r/ log-pow pow-sub |
| 1× | unpow-prod-up add-exp-log pow-to-exp log-prod flip3-- pow-prod-down pow-exp add-cbrt-cube flip-- add-log-exp sqr-pow |
| 7.0ms | (pow (exp 1/2) (log (* 2.0 (- im re)))) |
| 35.0ms | (pow (exp 1/2) (log (* 2.0 (- im re)))) |
Useful iterations: 0 (51.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5076 | 321 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 25 | 3 | 28 |
| Fresh | 2 | 3 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 27 | 8 | 35 |
Merged error: 7.4b
39.8% (11.7b remaining)
Error of 21.4b against oracle of 9.7b and baseline of 29.1b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 4.014364422520184e+85 | 1.4276063423306826e+91 | 9.096807666214532e+85 |
| 3 | -1.9280412608368157e-113 | -1.6030193654302822e-113 | -1.6233332338931907e-113 |
| 7 | -4.271531518234678e+67 | -4.264186898624575e+65 | -4.2023189404870015e+67 |
| 8 | -4.609240238512355e+124 | -1.1956167053293774e+120 | -1.2148290042598397e+120 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 68 | 74 |
| 1 | 68 | 74 |
| 315.0ms | 6054× | body | 80 | valid |
| 208.0ms | 689× | body | 2560 | valid |
| 118.0ms | 472× | body | 1280 | valid |
| 103.0ms | 288× | body | 5120 | valid |
| 101.0ms | 8000× | pre | 80 | true |
| 54.0ms | 281× | body | 640 | valid |
| 20.0ms | 139× | body | 320 | valid |
| 7.0ms | 77× | body | 160 | valid |
Loading profile data...