Time bar (total: 16.3s)
| 28.0ms | 78× | body | 1280 | valid |
| 10.0ms | 52× | body | 640 | valid |
| 5.0ms | 17× | body | 2560 | valid |
| 4.0ms | 28× | body | 320 | valid |
| 4.0ms | 71× | body | 80 | valid |
| 1.0ms | 10× | body | 160 | valid |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 11 | 4929 |
| 10 | 4459 |
| 9 | 4008 |
| 8 | 3078 |
| 7 | 1616 |
| 6 | 629 |
| 5 | 284 |
| 4 | 166 |
| 3 | 80 |
| 2 | 41 |
| 1 | 18 |
| 0 | 9 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 44.6b
Found 1 expressions with local error:
| 12.1b | (- (fma x y z) (+ 1.0 (+ (* x y) z))) |
| 10× | add-log-exp |
| 6× | *-un-lft-identity |
| 3× | add-sqr-sqrt sum-log diff-log |
| 2× | distribute-lft-out-- |
| 1× | pow1 sub-neg flip3-- add-cbrt-cube add-exp-log add-cube-cbrt flip-- distribute-lft-out associate--r+ difference-of-squares |
| 49.0ms | (- (fma x y z) (+ 1.0 (+ (* x y) z))) |
| 48.0ms | (- (fma x y z) (+ 1.0 (+ (* x y) z))) |
| Iter | Nodes |
|---|---|
| done | 5002 |
| 3 | 2044 |
| 2 | 447 |
| 1 | 116 |
| 0 | 48 |
2 alts after pruning (1 fresh and 1 done)
Merged error: 35.9b
Found 4 expressions with local error:
| 0.0b | (exp (- (- (- (fma x y z) (* x y)) 1.0) z)) |
| 0.0b | (log (exp (- (- (- (fma x y z) (* x y)) 1.0) z))) |
| 1.5b | (- (- (- (fma x y z) (* x y)) 1.0) z) |
| 11.8b | (- (fma x y z) (* x y)) |
| 25× | add-log-exp |
| 22× | *-un-lft-identity |
| 18× | associate--l+ |
| 13× | add-sqr-sqrt diff-log |
| 12× | exp-prod exp-sum |
| 10× | sub-neg |
| 9× | log-prod distribute-lft-out-- |
| 7× | log-pow add-cube-cbrt |
| 5× | pow1 |
| 4× | add-cbrt-cube add-exp-log rem-exp-log |
| 3× | difference-of-squares |
| 2× | flip3-- exp-diff flip-- |
| 1× | associate--l- log-div rem-log-exp |
| 226.0ms | (exp (- (- (- (fma x y z) (* x y)) 1.0) z)) |
| 303.0ms | (log (exp (- (- (- (fma x y z) (* x y)) 1.0) z))) |
| 118.0ms | (- (- (- (fma x y z) (* x y)) 1.0) z) |
| 4.0ms | (- (fma x y z) (* x y)) |
| 55.0ms | (exp (- (- (- (fma x y z) (* x y)) 1.0) z)) |
| 52.0ms | (log (exp (- (- (- (fma x y z) (* x y)) 1.0) z))) |
| 45.0ms | (- (- (- (fma x y z) (* x y)) 1.0) z) |
| 30.0ms | (- (fma x y z) (* x y)) |
| Iter | Nodes |
|---|---|
| done | 5002 |
| 3 | 2482 |
| 2 | 695 |
| 1 | 265 |
| 0 | 114 |
4 alts after pruning (3 fresh and 1 done)
Merged error: 35.8b
Found 2 expressions with local error:
| 1.5b | (- (- (- (fma x y z) (* x y)) 1.0) z) |
| 11.8b | (- (fma x y z) (* x y)) |
| 13× | add-log-exp |
| 7× | *-un-lft-identity diff-log |
| 6× | associate--l+ |
| 4× | add-sqr-sqrt sub-neg |
| 3× | distribute-lft-out-- |
| 2× | pow1 flip3-- add-cbrt-cube add-exp-log add-cube-cbrt flip-- |
| 1× | associate--l- difference-of-squares |
| 126.0ms | (- (- (- (fma x y z) (* x y)) 1.0) z) |
| 8.0ms | (- (fma x y z) (* x y)) |
| 51.0ms | (- (- (- (fma x y z) (* x y)) 1.0) z) |
| 30.0ms | (- (fma x y z) (* x y)) |
| Iter | Nodes |
|---|---|
| done | 5004 |
| 3 | 1414 |
| 2 | 420 |
| 1 | 159 |
| 0 | 69 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 9.5b
Found 1 expressions with local error:
| 9.4b | (- (fma x y z) (+ (* x y) z)) |
| 6× | add-log-exp |
| 3× | add-sqr-sqrt *-un-lft-identity |
| 2× | diff-log |
| 1× | pow1 sum-log sub-neg flip3-- add-cbrt-cube add-exp-log add-cube-cbrt flip-- associate--r+ distribute-lft-out-- difference-of-squares |
| 13.0ms | (- (fma x y z) (+ (* x y) z)) |
| 34.0ms | (- (fma x y z) (+ (* x y) z)) |
| Iter | Nodes |
|---|---|
| done | 5004 |
| 4 | 3687 |
| 3 | 894 |
| 2 | 270 |
| 1 | 97 |
| 0 | 40 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 9.5b
| Iter | Nodes |
|---|---|
| done | 13 |
| 1 | 13 |
| 0 | 11 |
| 929.0ms | 1648× | body | 640 | valid |
| 713.0ms | 2557× | body | 1280 | valid |
| 222.0ms | 620× | body | 2560 | valid |
| 198.0ms | 724× | body | 320 | valid |
| 149.0ms | 2115× | body | 80 | valid |
| 66.0ms | 336× | body | 160 | valid |