Time bar (total: 10.5s)
| 12.0ms | 28× | body | 1280 | valid |
| 10.0ms | 206× | body | 80 | valid |
| 9.0ms | 33× | body | 640 | valid |
| 3.0ms | 17× | body | 320 | valid |
| 3.0ms | 81× | body | 80 | nan |
| 1.0ms | 12× | body | 160 | valid |
Useful iterations: 2 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 13 |
| 1 | 18 | 13 |
| 2 | 27 | 11 |
| 3 | 54 | 11 |
| 4 | 105 | 11 |
| 5 | 245 | 11 |
| 6 | 579 | 11 |
| 7 | 1681 | 11 |
| done | 5001 | 11 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 6.1b
Found 4 expressions with local error:
| 0.0b | (+ x (/ (exp (* y (log (/ y (+ z y))))) y)) |
| 0.0b | (/ y (+ z y)) |
| 0.1b | (* y (log (/ y (+ z y)))) |
| 8.4b | (log (/ y (+ z y))) |
| 68× | *-un-lft-identity |
| 54× | log-prod |
| 48× | times-frac |
| 42× | add-sqr-sqrt |
| 40× | add-cube-cbrt |
| 18× | distribute-rgt-in distribute-lft-in |
| 14× | distribute-lft-out |
| 11× | add-exp-log |
| 8× | pow1 associate-/r/ add-cbrt-cube |
| 6× | add-log-exp |
| 5× | flip3-+ flip-+ |
| 4× | expm1-log1p-u associate-*r* associate-/r* log1p-expm1-u div-inv |
| 3× | fma-def associate-*l* associate-/l* |
| 2× | div-exp rem-log-exp log-pow |
| 1× | cbrt-undiv +-commutative log-div frac-2neg pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod unswap-sqr |
| 66.0ms | (+ x (/ (exp (* y (log (/ y (+ z y))))) y)) |
| 6.0ms | (/ y (+ z y)) |
| 14.0ms | (* y (log (/ y (+ z y)))) |
| 4.0ms | (log (/ y (+ z y))) |
| 80.0ms | (+ x (/ (exp (* y (log (/ y (+ z y))))) y)) |
| 50.0ms | (/ y (+ z y)) |
| 91.0ms | (* y (log (/ y (+ z y)))) |
| 55.0ms | (log (/ y (+ z y))) |
Useful iterations: 3 (577.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 207 | 1965 |
| 1 | 394 | 1858 |
| 2 | 854 | 1707 |
| 3 | 2221 | 1662 |
| done | 5000 | 1662 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.6b | (cbrt y) |
| 0.6b | (cbrt y) |
| 3.9b | (log (/ (cbrt y) (cbrt (+ z y)))) |
| 3.9b | (log (/ (cbrt y) (cbrt (+ z y)))) |
| 96× | cbrt-prod log-prod |
| 84× | *-un-lft-identity times-frac |
| 60× | add-sqr-sqrt add-cube-cbrt |
| 12× | distribute-lft-out |
| 10× | add-exp-log |
| 6× | pow1 |
| 4× | expm1-log1p-u cbrt-div rem-log-exp associate-/r/ add-cbrt-cube log1p-expm1-u add-log-exp |
| 2× | log-div flip3-+ pow1/3 div-exp log-pow flip-+ div-inv |
| 0.0ms | (cbrt y) |
| 0.0ms | (cbrt y) |
| 6.0ms | (log (/ (cbrt y) (cbrt (+ z y)))) |
| 6.0ms | (log (/ (cbrt y) (cbrt (+ z y)))) |
| 193.0ms | (cbrt y) |
| 201.0ms | (cbrt y) |
| 78.0ms | (log (/ (cbrt y) (cbrt (+ z y)))) |
| 84.0ms | (log (/ (cbrt y) (cbrt (+ z y)))) |
Useful iterations: 4 (702.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 177 | 2306 |
| 1 | 315 | 2190 |
| 2 | 577 | 2060 |
| 3 | 1263 | 1986 |
| 4 | 2703 | 1982 |
| done | 5000 | 1982 |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (+ (/ (exp (- z)) y) x) |
| 13× | fma-def |
| 10× | *-un-lft-identity |
| 9× | times-frac |
| 8× | add-sqr-sqrt add-cube-cbrt |
| 3× | add-log-exp |
| 1× | pow1 add-exp-log +-commutative expm1-log1p-u flip3-+ sum-log add-cbrt-cube flip-+ log1p-expm1-u div-inv distribute-lft-out |
| 20.0ms | (+ (/ (exp (- z)) y) x) |
| 41.0ms | (+ (/ (exp (- z)) y) x) |
Useful iterations: 3 (111.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 46 | 198 |
| 1 | 116 | 193 |
| 2 | 261 | 192 |
| 3 | 685 | 171 |
| 4 | 2619 | 171 |
| done | 5001 | 171 |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0.0b
-84.7% (1.9b remaining)
Error of 2.0b against oracle of 0.0b and baseline of 1.1b
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 4.863985370127422e-140 | 3.751532506820157e-137 | 3.711281227157836e-137 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 37 |
| 1 | 28 | 37 |
| done | 28 | 37 |
| 352.0ms | 772× | body | 1280 | valid |
| 311.0ms | 6537× | body | 80 | valid |
| 249.0ms | 942× | body | 640 | valid |
| 98.0ms | 3056× | body | 80 | nan |
| 93.0ms | 552× | body | 320 | valid |
| 36.0ms | 330× | body | 160 | valid |