Time bar (total: 4.5s)
| 10.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 8 | 9 |
| done | 8 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 30.5b
Found 2 expressions with local error:
| 0.0b | (+ (* re re) (* im im)) |
| 28.4b | (sqrt (+ (* re re) (* im im))) |
| 4× | add-sqr-sqrt add-log-exp |
| 3× | pow1 add-cube-cbrt *-un-lft-identity sqrt-prod |
| 2× | add-exp-log flip3-+ sqrt-div add-cbrt-cube flip-+ |
| 1× | +-commutative rem-sqrt-square sqrt-pow1 pow1/2 sum-log |
| 10.0ms | (+ (* re re) (* im im)) |
| 9.0ms | (sqrt (+ (* re re) (* im im))) |
| 53.0ms | (+ (* re re) (* im im)) |
| 56.0ms | (sqrt (+ (* re re) (* im im))) |
Useful iterations: 2 (67.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 48 | 379 |
| 1 | 124 | 347 |
| 2 | 343 | 295 |
| 3 | 968 | 295 |
| 4 | 2668 | 295 |
| done | 5000 | 295 |
4 alts after pruning (3 fresh and 1 done)
Merged error: 6.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
4 alts after pruning (2 fresh and 2 done)
Merged error: 6.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
4 alts after pruning (1 fresh and 3 done)
Merged error: 6.1b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
4 alts after pruning (0 fresh and 4 done)
Merged error: 6.1b
28.5% (17.3b remaining)
Error of 24.6b against oracle of 7.3b and baseline of 31.5b
| Iters | Range | Point | |
|---|---|---|---|
| 6 | 5.648580377641702e+85 | 7.97203048753092e+86 | 5.177363335544844e+86 |
| 8 | 1.6238933375226004e-186 | 2.297153203393667e-182 | 1.0098112259657446e-185 |
| 8 | 1.130281079294657e-219 | 8.79270723422623e-217 | 3.867993196915089e-217 |
| 8 | 4.806576296215955e-236 | 2.5891023046651694e-233 | 9.677784630305516e-234 |
| 10 | -1.900142676637447e-261 | -8.898276766909416e-272 | -4.843689540090472e-262 |
| 8 | -3.1089471099746935e+33 | -1.8643414828365696e+30 | -3.0545556871718285e+33 |
| 6 | -6.745190138739985e+57 | -6.4659780467737265e+56 | -6.570997735276895e+56 |
| 5 | -3.001107438090069e+136 | -1.2675207568445035e+136 | -2.9574832218065225e+136 |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 35 | 73 |
| 1 | 36 | 73 |
| done | 36 | 73 |
| 544.0ms | 8000× | body | 80 | valid |