Time bar (total: 1.1s)
| 9.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 5 |
| 1 | 8 | 5 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 35.3b
Found 3 expressions with local error:
| 0.0b | (+ (* re re) (* im im)) |
| 0.0b | (log (sqrt (+ (* re re) (* im im)))) |
| 32.9b | (sqrt (+ (* re re) (* im im))) |
| 7× | add-sqr-sqrt |
| 6× | pow1 add-cube-cbrt log-prod *-un-lft-identity sqrt-prod |
| 5× | add-log-exp |
| 4× | add-exp-log sqrt-div |
| 3× | flip3-+ log-pow add-cbrt-cube flip-+ |
| 2× | log-div sqrt-pow1 pow1/2 |
| 1× | +-commutative rem-sqrt-square rem-log-exp sum-log |
| 4.0ms | (+ (* re re) (* im im)) |
| 4.0ms | (log (sqrt (+ (* re re) (* im im)))) |
| 3.0ms | (sqrt (+ (* re re) (* im im))) |
| 31.0ms | (+ (* re re) (* im im)) |
| 56.0ms | (log (sqrt (+ (* re re) (* im im)))) |
| 39.0ms | (sqrt (+ (* re re) (* im im))) |
Useful iterations: 3 (48.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 157 | 361 |
| 1 | 581 | 328 |
| 2 | 1670 | 328 |
| 3 | 5002 | 325 |
4 alts after pruning (3 fresh and 1 done)
Merged error: 7.3b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (2 fresh and 2 done)
Merged error: 7.3b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (1 fresh and 3 done)
Merged error: 7.3b
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
4 alts after pruning (0 fresh and 4 done)
Merged error: 7.3b
55.2% (11.1b remaining)
Error of 18.3b against oracle of 7.2b and baseline of 32.0b
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 8.038692978176935e+71 | 1.1196446523800873e+74 | 5.3414140015848386e+73 |
| 9 | 1.2985469384239522e-236 | 1.9910495686308364e-227 | 6.6019226566762855e-236 |
| 7 | -1.487185077060056e-133 | -7.753638802045988e-136 | -8.363233300696691e-136 |
| 9 | -5.852158442175802e+75 | -5.8276681929279876e+69 | -5.781737093335538e+75 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 15 |
| 1 | 26 | 15 |
| 273.0ms | 8000× | body | 80 | valid |