Time bar (total: 21.2s)
| 30.0ms | 422× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 5003 |
| 6 | 4882 |
| 5 | 1433 |
| 4 | 655 |
| 3 | 253 |
| 2 | 89 |
| 1 | 37 |
| 0 | 18 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 8.5b
Found 4 expressions with local error:
| 0.2b | (* (* x 9.0) y) |
| 1.5b | (- (/ (+ b (* (* x 9.0) y)) z) (* (* t 4.0) a)) |
| 2.5b | (/ (+ b (* (* x 9.0) y)) z) |
| 12.0b | (/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* t 4.0) a)) c) |
| 21× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 18× | times-frac |
| 13× | add-cbrt-cube add-exp-log |
| 9× | pow1 |
| 6× | associate-/r* associate-/l* add-log-exp |
| 4× | associate-/l/ |
| 3× | associate-*r* pow-prod-down prod-exp cbrt-unprod |
| 2× | cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip-- |
| 1× | sub-neg flip3-+ diff-log div-sub associate-*l* *-commutative flip-+ |
| 13.0ms | (* (* x 9.0) y) |
| 43.0ms | (- (/ (+ b (* (* x 9.0) y)) z) (* (* t 4.0) a)) |
| 26.0ms | (/ (+ b (* (* x 9.0) y)) z) |
| 73.0ms | (/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* t 4.0) a)) c) |
| 31.0ms | (* (* x 9.0) y) |
| 210.0ms | (- (/ (+ b (* (* x 9.0) y)) z) (* (* t 4.0) a)) |
| 88.0ms | (/ (+ b (* (* x 9.0) y)) z) |
| 208.0ms | (/ (- (/ (+ b (* (* x 9.0) y)) z) (* (* t 4.0) a)) c) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 1533 |
| 1 | 458 |
| 0 | 182 |
11 alts after pruning (11 fresh and 0 done)
Merged error: 7.9b
Found 4 expressions with local error:
| 0.2b | (* 9.0 (/ (* x y) (* z c))) |
| 3.5b | (/ b (* z c)) |
| 8.2b | (/ (* x y) (* z c)) |
| 8.2b | (/ (* a t) c) |
| 44× | add-cbrt-cube add-exp-log |
| 15× | prod-exp cbrt-unprod |
| 12× | add-sqr-sqrt cbrt-undiv div-exp |
| 10× | *-un-lft-identity add-cube-cbrt |
| 8× | times-frac |
| 6× | pow1 |
| 5× | associate-/r* associate-*r* associate-/l* |
| 4× | div-inv add-log-exp |
| 3× | clear-num frac-2neg associate-*l* |
| 1× | pow-prod-down associate-*r/ *-commutative unswap-sqr |
| 46.0ms | (* 9.0 (/ (* x y) (* z c))) |
| 11.0ms | (/ b (* z c)) |
| 9.0ms | (/ (* x y) (* z c)) |
| 7.0ms | (/ (* a t) c) |
| 65.0ms | (* 9.0 (/ (* x y) (* z c))) |
| 26.0ms | (/ b (* z c)) |
| 31.0ms | (/ (* x y) (* z c)) |
| 30.0ms | (/ (* a t) c) |
| Iter | Nodes |
|---|---|
| done | 5063 |
| 2 | 1905 |
| 1 | 425 |
| 0 | 160 |
16 alts after pruning (16 fresh and 0 done)
Merged error: 1.0b
Found 4 expressions with local error:
| 0.2b | (* 9.0 (/ (* x y) (* z c))) |
| 3.5b | (/ a (/ c t)) |
| 3.5b | (/ b (* z c)) |
| 8.2b | (/ (* x y) (* z c)) |
| 80× | times-frac |
| 52× | add-sqr-sqrt |
| 50× | *-un-lft-identity add-cube-cbrt |
| 44× | add-cbrt-cube add-exp-log |
| 15× | associate-/r* |
| 14× | prod-exp cbrt-unprod |
| 13× | cbrt-undiv div-exp |
| 8× | div-inv |
| 7× | associate-/l* |
| 6× | pow1 |
| 5× | associate-*r* |
| 4× | add-log-exp |
| 3× | clear-num frac-2neg associate-*l* |
| 1× | pow-prod-down associate-*r/ associate-/r/ *-commutative unswap-sqr |
| 33.0ms | (* 9.0 (/ (* x y) (* z c))) |
| 9.0ms | (/ a (/ c t)) |
| 8.0ms | (/ b (* z c)) |
| 17.0ms | (/ (* x y) (* z c)) |
| 57.0ms | (* 9.0 (/ (* x y) (* z c))) |
| 28.0ms | (/ a (/ c t)) |
| 23.0ms | (/ b (* z c)) |
| 32.0ms | (/ (* x y) (* z c)) |
| Iter | Nodes |
|---|---|
| done | 5012 |
| 2 | 2433 |
| 1 | 678 |
| 0 | 260 |
15 alts after pruning (15 fresh and 0 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 3.5b | (/ a (/ c t)) |
| 3.5b | (/ b (* z c)) |
| 4.5b | (/ (* z c) y) |
| 5.7b | (/ x (/ (* z c) y)) |
| 114× | times-frac |
| 66× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 28× | add-cbrt-cube add-exp-log |
| 24× | associate-/r* |
| 12× | cbrt-undiv div-exp div-inv |
| 10× | associate-/l* |
| 4× | pow1 clear-num frac-2neg add-log-exp |
| 3× | prod-exp cbrt-unprod |
| 2× | associate-/r/ |
| 8.0ms | (/ a (/ c t)) |
| 6.0ms | (/ b (* z c)) |
| 7.0ms | (/ (* z c) y) |
| 14.0ms | (/ x (/ (* z c) y)) |
| 40.0ms | (/ a (/ c t)) |
| 35.0ms | (/ b (* z c)) |
| 34.0ms | (/ (* z c) y) |
| 49.0ms | (/ x (/ (* z c) y)) |
| Iter | Nodes |
|---|---|
| done | 5010 |
| 2 | 2789 |
| 1 | 746 |
| 0 | 297 |
14 alts after pruning (14 fresh and 0 done)
Merged error: 0b
10.4% (9.2b remaining)
Error of 9.2b against oracle of 0.1b and baseline of 10.3b
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 8.786092908554817e+207 | 5.474241145880629e+219 | 1.4108257451110568e+211 |
| 8 | 9.18227757834351e+174 | 2.501827447823438e+178 | 2.2495643092126964e+178 |
| 4 | 2.154965800092767e-38 | 3.4788598841801223e-38 | 2.7663987971617643e-38 |
| 8 | -4.218053149726393e-45 | -6.748460364464633e-49 | -7.236482148170488e-46 |
| 7 | -2.2522830021609222e+163 | -8.116436040706082e+161 | -5.8016748330930074e+162 |
| 5 | -2.6752851722020718e+202 | -8.838740205208376e+201 | -1.4810024446968732e+202 |
| Iter | Nodes |
|---|---|
| done | 97 |
| 1 | 97 |
| 0 | 72 |
| 1.9s | 12704× | body | 80 | valid |