Time bar (total: 7.0s)
| 8.0ms | 39× | body | 2560 | valid |
| 6.0ms | 36× | body | 1280 | valid |
| 6.0ms | 165× | body | 80 | valid |
| 3.0ms | 86× | body | 80 | nan |
| 2.0ms | 13× | body | 640 | valid |
| 1.0ms | 8× | body | 320 | valid |
| 1.0ms | 2× | body | 5120 | valid |
| 0.0ms | 4× | body | 160 | valid |
Useful iterations: 2 (5.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 17 |
| 1 | 21 | 17 |
| 2 | 41 | 16 |
| 3 | 76 | 16 |
| 4 | 90 | 16 |
| 5 | 98 | 16 |
| done | 98 | 16 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 33.2b
Found 4 expressions with local error:
| 0.2b | (* (* 3.0 a) c) |
| 1.0b | (- (* b b) (* (* 3.0 a) c)) |
| 1.4b | (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) |
| 22.6b | (sqrt (- (* b b) (* (* 3.0 a) c))) |
| 11× | add-sqr-sqrt |
| 10× | pow1 |
| 9× | add-exp-log add-cbrt-cube |
| 8× | *-un-lft-identity add-log-exp |
| 6× | add-cube-cbrt |
| 4× | sqrt-prod |
| 3× | flip3-- associate-*r* pow-prod-down prod-exp flip-- cbrt-unprod |
| 2× | sub-neg sqrt-div diff-log difference-of-squares |
| 1× | rem-sqrt-square sqrt-pow1 pow1/2 associate-*l* *-commutative distribute-lft-out-- |
| 6.0ms | (* (* 3.0 a) c) |
| 2.0ms | (- (* b b) (* (* 3.0 a) c)) |
| 18.0ms | (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) |
| 4.0ms | (sqrt (- (* b b) (* (* 3.0 a) c))) |
| 19.0ms | (* (* 3.0 a) c) |
| 43.0ms | (- (* b b) (* (* 3.0 a) c)) |
| 77.0ms | (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) |
| 69.0ms | (sqrt (- (* b b) (* (* 3.0 a) c))) |
Useful iterations: done (464.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 120 | 1001 |
| 1 | 283 | 903 |
| 2 | 1077 | 825 |
| done | 5000 | 821 |
10 alts after pruning (10 fresh and 0 done)
Merged error: 14.4b
Found 4 expressions with local error:
| 0.3b | (* 3.0 (* a c)) |
| 1.0b | (- (pow b 2) (* 3.0 (* a c))) |
| 1.4b | (- (sqrt (- (pow b 2) (* 3.0 (* a c)))) b) |
| 22.6b | (sqrt (- (pow b 2) (* 3.0 (* a c)))) |
| 11× | add-sqr-sqrt |
| 10× | pow1 |
| 9× | add-exp-log add-cbrt-cube |
| 8× | *-un-lft-identity add-log-exp |
| 6× | add-cube-cbrt |
| 4× | sqrt-prod |
| 3× | flip3-- associate-*l* pow-prod-down prod-exp flip-- cbrt-unprod |
| 2× | sub-neg sqrt-div diff-log difference-of-squares |
| 1× | rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* *-commutative distribute-lft-out-- |
| 6.0ms | (* 3.0 (* a c)) |
| 7.0ms | (- (pow b 2) (* 3.0 (* a c))) |
| 37.0ms | (- (sqrt (- (pow b 2) (* 3.0 (* a c)))) b) |
| 8.0ms | (sqrt (- (pow b 2) (* 3.0 (* a c)))) |
| 19.0ms | (* 3.0 (* a c)) |
| 45.0ms | (- (pow b 2) (* 3.0 (* a c))) |
| 76.0ms | (- (sqrt (- (pow b 2) (* 3.0 (* a c)))) b) |
| 69.0ms | (sqrt (- (pow b 2) (* 3.0 (* a c)))) |
Useful iterations: 3 (295.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 116 | 998 |
| 1 | 266 | 894 |
| 2 | 828 | 828 |
| 3 | 3103 | 820 |
| done | 5000 | 820 |
10 alts after pruning (9 fresh and 1 done)
Merged error: 14.4b
Found 4 expressions with local error:
| 15.3b | (cbrt (* 3.0 (* a c))) |
| 15.3b | (cbrt (* 3.0 (* a c))) |
| 15.3b | (cbrt (* 3.0 (* a c))) |
| 22.6b | (sqrt (- (pow b 2) (* (* (cbrt (* 3.0 (* a c))) (cbrt (* 3.0 (* a c)))) (cbrt (* 3.0 (* a c)))))) |
| 6× | add-sqr-sqrt |
| 5× | pow1 add-cube-cbrt *-un-lft-identity |
| 4× | add-exp-log add-cbrt-cube add-log-exp |
| 3× | cbrt-prod pow1/3 sqrt-prod |
| 2× | sqrt-div |
| 1× | rem-sqrt-square flip3-- sqrt-pow1 pow1/2 flip-- |
| 4.0ms | (cbrt (* 3.0 (* a c))) |
| 4.0ms | (cbrt (* 3.0 (* a c))) |
| 4.0ms | (cbrt (* 3.0 (* a c))) |
| 7.0ms | (sqrt (- (pow b 2) (* (* (cbrt (* 3.0 (* a c))) (cbrt (* 3.0 (* a c)))) (cbrt (* 3.0 (* a c)))))) |
| 98.0ms | (cbrt (* 3.0 (* a c))) |
| 94.0ms | (cbrt (* 3.0 (* a c))) |
| 95.0ms | (cbrt (* 3.0 (* a c))) |
| 123.0ms | (sqrt (- (pow b 2) (* (* (cbrt (* 3.0 (* a c))) (cbrt (* 3.0 (* a c)))) (cbrt (* 3.0 (* a c)))))) |
Useful iterations: done (792.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 85 | 981 |
| 1 | 199 | 889 |
| 2 | 513 | 531 |
| 3 | 1907 | 520 |
| done | 5001 | 513 |
9 alts after pruning (8 fresh and 1 done)
Merged error: 14.4b
Found 4 expressions with local error:
| 15.3b | (cbrt (* 3.0 (* a c))) |
| 15.3b | (cbrt (* 3.0 (* a c))) |
| 15.3b | (cbrt (* a c)) |
| 22.6b | (sqrt (- (pow b 2) (* (* (cbrt (* 3.0 (* a c))) (* (cbrt 3.0) (cbrt (* a c)))) (cbrt (* 3.0 (* a c)))))) |
| 6× | add-sqr-sqrt |
| 5× | pow1 add-cube-cbrt *-un-lft-identity |
| 4× | add-exp-log add-cbrt-cube add-log-exp |
| 3× | cbrt-prod pow1/3 sqrt-prod |
| 2× | sqrt-div |
| 1× | rem-sqrt-square flip3-- sqrt-pow1 pow1/2 flip-- |
| 4.0ms | (cbrt (* 3.0 (* a c))) |
| 4.0ms | (cbrt (* 3.0 (* a c))) |
| 1.0ms | (cbrt (* a c)) |
| 7.0ms | (sqrt (- (pow b 2) (* (* (cbrt (* 3.0 (* a c))) (* (cbrt 3.0) (cbrt (* a c)))) (cbrt (* 3.0 (* a c)))))) |
| 96.0ms | (cbrt (* 3.0 (* a c))) |
| 94.0ms | (cbrt (* 3.0 (* a c))) |
| 66.0ms | (cbrt (* a c)) |
| 122.0ms | (sqrt (- (pow b 2) (* (* (cbrt (* 3.0 (* a c))) (* (cbrt 3.0) (cbrt (* a c)))) (cbrt (* 3.0 (* a c)))))) |
Useful iterations: done (888.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 97 | 973 |
| 1 | 217 | 878 |
| 2 | 573 | 809 |
| 3 | 2355 | 774 |
| done | 5001 | 767 |
9 alts after pruning (7 fresh and 2 done)
Merged error: 14.4b
84.7% (3.3b remaining)
Error of 15.6b against oracle of 12.2b and baseline of 33.9b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 2.358314391323758e-60 | 7.760624497279612e-54 | 3.5034007549662594e-57 |
| 10 | -2.699314103090194e+180 | -2.227381996671495e+165 | -2.272454186637281e+165 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 34 | 66 |
| 1 | 42 | 66 |
| done | 42 | 66 |
| 223.0ms | 1025× | body | 2560 | valid |
| 217.0ms | 5915× | body | 80 | valid |
| 155.0ms | 893× | body | 1280 | valid |
| 102.0ms | 2995× | body | 80 | nan |
| 62.0ms | 447× | body | 640 | valid |
| 29.0ms | 107× | body | 5120 | valid |
| 23.0ms | 210× | body | 320 | valid |
| 7.0ms | 103× | body | 160 | valid |