Time bar (total: 11.6s)
| 34.0ms | 356× | body | 80 | valid |
| Iter | Nodes |
|---|---|
| done | 67 |
| 5 | 67 |
| 4 | 63 |
| 3 | 45 |
| 2 | 33 |
| 1 | 16 |
| 0 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 5.7b
Found 2 expressions with local error:
| 0.3b | (- (* x y) (* z t)) |
| 5.7b | (/ (- (* x y) (* z t)) a) |
| 10× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 9× | times-frac |
| 4× | add-cbrt-cube add-exp-log add-log-exp |
| 3× | associate-/r* associate-/l* |
| 2× | pow1 flip3-- insert-posit16 flip-- associate-/l/ |
| 1× | cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp div-inv |
| 10.0ms | (- (* x y) (* z t)) |
| 16.0ms | (/ (- (* x y) (* z t)) a) |
| 68.0ms | (- (* x y) (* z t)) |
| 83.0ms | (/ (- (* x y) (* z t)) a) |
| Iter | Nodes |
|---|---|
| done | 5004 |
| 3 | 2410 |
| 2 | 655 |
| 1 | 212 |
| 0 | 82 |
12 alts after pruning (12 fresh and 0 done)
Merged error: 5.5b
Found 3 expressions with local error:
| 0.0b | (- (/ (* x y) a) (/ (* z t) a)) |
| 4.9b | (/ (* x y) a) |
| 4.9b | (/ (* z t) a) |
| 13× | add-cbrt-cube add-exp-log |
| 9× | add-sqr-sqrt *-un-lft-identity |
| 7× | add-cube-cbrt |
| 6× | associate-/r* times-frac |
| 5× | add-log-exp |
| 4× | cbrt-undiv div-exp div-inv |
| 3× | pow1 insert-posit16 |
| 2× | clear-num frac-2neg prod-exp cbrt-unprod associate-/l* |
| 1× | sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub flip-- distribute-lft-out-- sub-div difference-of-squares |
| 12.0ms | (- (/ (* x y) a) (/ (* z t) a)) |
| 9.0ms | (/ (* x y) a) |
| 15.0ms | (/ (* z t) a) |
| 92.0ms | (- (/ (* x y) a) (/ (* z t) a)) |
| 31.0ms | (/ (* x y) a) |
| 24.0ms | (/ (* z t) a) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 2 | 1141 |
| 1 | 305 |
| 0 | 117 |
11 alts after pruning (11 fresh and 0 done)
Merged error: 0.2b
Found 3 expressions with local error:
| 0.0b | (- (/ (* x y) a) (/ (* t z) a)) |
| 4.9b | (/ (* x y) a) |
| 4.9b | (/ (* t z) a) |
| 13× | add-cbrt-cube add-exp-log |
| 9× | add-sqr-sqrt *-un-lft-identity |
| 7× | add-cube-cbrt |
| 6× | associate-/r* times-frac |
| 5× | add-log-exp |
| 4× | cbrt-undiv div-exp div-inv |
| 3× | pow1 insert-posit16 |
| 2× | clear-num frac-2neg prod-exp cbrt-unprod associate-/l* |
| 1× | sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub flip-- distribute-lft-out-- sub-div difference-of-squares |
| 24.0ms | (- (/ (* x y) a) (/ (* t z) a)) |
| 17.0ms | (/ (* x y) a) |
| 18.0ms | (/ (* t z) a) |
| 127.0ms | (- (/ (* x y) a) (/ (* t z) a)) |
| 36.0ms | (/ (* x y) a) |
| 42.0ms | (/ (* t z) a) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 2 | 1116 |
| 1 | 297 |
| 0 | 114 |
8 alts after pruning (8 fresh and 0 done)
Merged error: 0.2b
Found 2 expressions with local error:
| 0.3b | (- (* x y) (* z t)) |
| 5.8b | (* (- (* x y) (* z t)) (/ 1 a)) |
| 17× | add-sqr-sqrt |
| 13× | associate-*r* |
| 11× | *-un-lft-identity times-frac add-exp-log |
| 10× | add-cube-cbrt |
| 7× | add-cbrt-cube |
| 4× | pow1 prod-exp add-log-exp |
| 3× | flip3-- associate-*l* flip-- unswap-sqr |
| 2× | frac-times div-exp associate-*l/ cbrt-unprod insert-posit16 |
| 1× | cbrt-undiv rec-exp sub-neg diff-log 1-exp pow-prod-down associate-*r/ un-div-inv *-commutative div-inv |
| 8.0ms | (- (* x y) (* z t)) |
| 46.0ms | (* (- (* x y) (* z t)) (/ 1 a)) |
| 44.0ms | (- (* x y) (* z t)) |
| 77.0ms | (* (- (* x y) (* z t)) (/ 1 a)) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 3 | 2963 |
| 2 | 911 |
| 1 | 291 |
| 0 | 108 |
8 alts after pruning (7 fresh and 1 done)
Merged error: 0.2b
16.1% (5.8b remaining)
Error of 6.2b against oracle of 0.4b and baseline of 7.3b
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 1.6077123026736188e+277 | 1.1128455856860392e+280 | 7.642381353223433e+278 |
| 10 | 3.000938826216201e-95 | 1.2523620733929687e-77 | 1.8721002625462693e-84 |
| 8 | -3.707149711192075e+196 | -9.467091090160508e+191 | -9.637778577628268e+191 |
| Iter | Nodes |
|---|---|
| done | 35 |
| 1 | 35 |
| 0 | 28 |
| 1.1s | 11154× | body | 80 | valid |