Time bar (total: 11.1s)
| 43.0ms | 175× | body | 160 | valid |
| 21.0ms | 289× | body | 80 | nan |
| 19.0ms | 545× | pre | 80 | true |
| 6.0ms | 29× | body | 320 | valid |
| 4.0ms | 52× | body | 80 | valid |
Useful iterations: 2 (13.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 17 |
| 1 | 21 | 17 |
| 2 | 41 | 16 |
| 3 | 76 | 16 |
| 4 | 96 | 16 |
| 5 | 104 | 16 |
| done | 104 | 16 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 42.8b
Found 4 expressions with local error:
| 0.2b | (/ (/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) 3.0) a) |
| 0.2b | (/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) 3.0) |
| 0.2b | (* (* 3.0 a) c) |
| 38.7b | (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) |
| 156× | times-frac |
| 147× | add-sqr-sqrt |
| 113× | *-un-lft-identity |
| 79× | add-cube-cbrt |
| 34× | difference-of-squares |
| 28× | associate-/l* |
| 17× | sqrt-prod distribute-lft-out-- |
| 16× | add-exp-log add-cbrt-cube |
| 9× | pow1 |
| 6× | associate-/r* div-inv add-log-exp |
| 4× | cbrt-undiv div-exp |
| 3× | div-sub associate-*r* pow-prod-down prod-exp cbrt-unprod associate-/l/ |
| 2× | flip3-- frac-2neg clear-num flip-- |
| 1× | sub-neg diff-log associate-*l* *-commutative |
| 109.0ms | (/ (/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) 3.0) a) |
| 111.0ms | (/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) 3.0) |
| 20.0ms | (* (* 3.0 a) c) |
| 66.0ms | (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) |
| 166.0ms | (/ (/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) 3.0) a) |
| 131.0ms | (/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) 3.0) |
| 22.0ms | (* (* 3.0 a) c) |
| 155.0ms | (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) |
Useful iterations: done (2.0s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 287 | 4775 |
| 1 | 710 | 4627 |
| 2 | 3333 | 4429 |
| done | 5000 | 4425 |
20 alts after pruning (20 fresh and 0 done)
Merged error: 6.0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
20 alts after pruning (19 fresh and 1 done)
Merged error: 6.0b
Found 2 expressions with local error:
| 0.3b | (/ (* a c) b) |
| 0.3b | (/ (* -0.5 (/ (* a c) b)) a) |
| 21× | add-exp-log add-cbrt-cube |
| 8× | cbrt-undiv div-exp |
| 6× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac associate-/r* |
| 5× | prod-exp cbrt-unprod |
| 2× | pow1 frac-2neg clear-num div-inv associate-/l* add-log-exp |
| 1× | associate-*r/ associate-/l/ |
| 19.0ms | (/ (* a c) b) |
| 36.0ms | (/ (* -0.5 (/ (* a c) b)) a) |
| 34.0ms | (/ (* a c) b) |
| 27.0ms | (/ (* -0.5 (/ (* a c) b)) a) |
Useful iterations: done (1.1s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 97 | 568 |
| 1 | 278 | 547 |
| 2 | 1931 | 449 |
| done | 5000 | 435 |
29 alts after pruning (28 fresh and 1 done)
Merged error: 5.9b
Found 2 expressions with local error:
| 0.2b | (/ a (/ b c)) |
| 0.3b | (/ (* -0.5 (/ a (/ b c))) a) |
| 78× | times-frac |
| 46× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 21× | add-exp-log add-cbrt-cube |
| 16× | associate-/r* |
| 10× | cbrt-undiv div-exp |
| 6× | div-inv |
| 4× | associate-/l* |
| 3× | prod-exp cbrt-unprod |
| 2× | pow1 frac-2neg clear-num add-log-exp |
| 1× | associate-*r/ associate-/r/ associate-/l/ |
| 11.0ms | (/ a (/ b c)) |
| 20.0ms | (/ (* -0.5 (/ a (/ b c))) a) |
| 29.0ms | (/ a (/ b c)) |
| 24.0ms | (/ (* -0.5 (/ a (/ b c))) a) |
Useful iterations: done (1.2s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 196 | 1264 |
| 1 | 529 | 1199 |
| 2 | 2955 | 1073 |
| done | 5000 | 1071 |
38 alts after pruning (37 fresh and 1 done)
Merged error: 5.9b
0% (6.9b remaining)
Error of 12.0b against oracle of 5.1b and baseline of 12.0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 658.0ms | 15980× | pre | 80 | true |
| 550.0ms | 4834× | body | 160 | valid |
| 534.0ms | 1801× | body | 80 | valid |
| 508.0ms | 7980× | body | 80 | nan |
| 226.0ms | 1365× | body | 320 | valid |