Time bar (total: 16.3s)
| 14.0ms | 187× | body | 80 | valid |
| 12.0ms | 29× | body | 2560 | valid |
| 8.0ms | 25× | body | 1280 | valid |
| 8.0ms | 103× | body | 80 | nan |
| 4.0ms | 16× | body | 640 | valid |
| 2.0ms | 5× | body | 5120 | valid |
| 1.0ms | 7× | body | 320 | valid |
| 1.0ms | 4× | body | 160 | valid |
Useful iterations: 2 (36.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 17 |
| 1 | 24 | 17 |
| 2 | 44 | 16 |
| 3 | 78 | 16 |
| 4 | 102 | 16 |
| 5 | 111 | 16 |
| done | 111 | 16 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 33.4b
Found 4 expressions with local error:
| 0.1b | (/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a)) |
| 0.8b | (- (* b b) (* 4.0 (* a c))) |
| 1.3b | (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 19× | *-un-lft-identity |
| 10× | add-log-exp |
| 9× | add-exp-log add-cbrt-cube |
| 8× | add-sqr-sqrt |
| 7× | add-cube-cbrt |
| 6× | distribute-lft-out |
| 5× | pow1 times-frac associate-/l* |
| 3× | distribute-rgt-neg-in sqrt-prod |
| 2× | cbrt-undiv neg-sub0 associate-+l- flip3-- flip3-+ sqrt-div div-exp sum-log flip-- flip-+ associate-/l/ |
| 1× | +-commutative sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 diff-log div-sub neg-log prod-exp clear-num associate-/r* cbrt-unprod div-inv |
| 94.0ms | (/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a)) |
| 16.0ms | (- (* b b) (* 4.0 (* a c))) |
| 43.0ms | (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 18.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 166.0ms | (/ (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a)) |
| 57.0ms | (- (* b b) (* 4.0 (* a c))) |
| 126.0ms | (+ (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 93.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: done (958.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 152 | 1565 |
| 1 | 419 | 1461 |
| 2 | 1725 | 1245 |
| done | 5001 | 1239 |
8 alts after pruning (7 fresh and 1 done)
Merged error: 5.9b
Found 4 expressions with local error:
| 1.3b | (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 3.8b | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) (* 2.0 a)) |
| 9.7b | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 90× | times-frac |
| 84× | add-sqr-sqrt |
| 83× | *-un-lft-identity |
| 39× | add-cube-cbrt |
| 30× | associate-/l* |
| 22× | distribute-lft-out-- difference-of-squares |
| 18× | add-exp-log add-cbrt-cube |
| 14× | sqrt-prod |
| 11× | distribute-rgt-neg-in |
| 8× | associate-/r* add-log-exp |
| 7× | cbrt-undiv div-exp |
| 6× | associate-/r/ |
| 5× | pow1 flip3-- flip-- |
| 4× | div-inv |
| 3× | associate-/l/ |
| 2× | frac-2neg sqrt-div diff-log prod-exp clear-num cbrt-unprod |
| 1× | associate--l- neg-sub0 sub-neg rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 neg-log flip-+ |
| 31.0ms | (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 149.0ms | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) (* 2.0 a)) |
| 78.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 9.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 116.0ms | (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 234.0ms | (/ (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) (* 2.0 a)) |
| 314.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) |
| 115.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: 2 (623.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 253 | 5113 |
| 1 | 659 | 4543 |
| 2 | 3723 | 4219 |
| done | 5000 | 4219 |
8 alts after pruning (8 fresh and 0 done)
Merged error: 5.8b
Found 4 expressions with local error:
| 9.5b | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))))) |
| 9.8b | (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 22× | add-sqr-sqrt |
| 15× | add-cube-cbrt *-un-lft-identity |
| 12× | times-frac |
| 8× | add-log-exp |
| 6× | pow1 add-exp-log sqrt-prod add-cbrt-cube |
| 5× | difference-of-squares |
| 4× | flip3-- sqrt-div associate-/r* flip-- |
| 3× | associate-/l* |
| 2× | rem-sqrt-square sqrt-pow1 pow1/2 diff-log associate-/r/ associate-/l/ |
| 1× | cbrt-undiv associate--l- neg-sub0 sub-neg frac-2neg flip3-+ div-exp neg-log clear-num flip-+ div-inv |
| 72.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))))) |
| 12.0ms | (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 10.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 10.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 281.0ms | (/ (+ 0 (* 4.0 (* a c))) (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c)))))))) |
| 127.0ms | (- (- b) (* (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))) (sqrt (sqrt (- (* b b) (* 4.0 (* a c))))))) |
| 108.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 113.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: done (1.6s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 159 | 3048 |
| 1 | 410 | 1909 |
| 2 | 2142 | 1785 |
| done | 5001 | 1763 |
8 alts after pruning (7 fresh and 1 done)
Merged error: 5.8b
Found 4 expressions with local error:
| 0.8b | (- (* b b) (* 4.0 (* a c))) |
| 1.3b | (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 14.2b | (* (/ (* 4.0 (* a c)) 2.0) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) a)) |
| 22.8b | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 152× | times-frac |
| 121× | add-sqr-sqrt |
| 109× | *-un-lft-identity |
| 94× | add-exp-log |
| 85× | associate-*r* |
| 68× | add-cube-cbrt |
| 58× | add-cbrt-cube |
| 39× | div-exp |
| 35× | prod-exp |
| 21× | cbrt-undiv cbrt-unprod |
| 20× | distribute-lft-out-- difference-of-squares |
| 13× | sqrt-prod |
| 10× | distribute-rgt-neg-in add-log-exp |
| 7× | pow1 associate-*l* |
| 6× | flip3-- associate-/r/ flip-- |
| 5× | div-inv |
| 4× | rec-exp 1-exp unswap-sqr |
| 3× | diff-log |
| 2× | sub-neg sqrt-div |
| 1× | associate--l- neg-sub0 frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ pow-prod-down neg-log associate-*l/ *-commutative |
| 9.0ms | (- (* b b) (* 4.0 (* a c))) |
| 42.0ms | (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 244.0ms | (* (/ (* 4.0 (* a c)) 2.0) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) a)) |
| 9.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
| 64.0ms | (- (* b b) (* 4.0 (* a c))) |
| 133.0ms | (- (- b) (sqrt (- (* b b) (* 4.0 (* a c))))) |
| 241.0ms | (* (/ (* 4.0 (* a c)) 2.0) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* 4.0 (* a c)))))) a)) |
| 129.0ms | (sqrt (- (* b b) (* 4.0 (* a c)))) |
Useful iterations: done (623.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 354 | 5470 |
| 1 | 1232 | 4974 |
| done | 5001 | 4278 |
8 alts after pruning (6 fresh and 2 done)
Merged error: 5.8b
86.7% (3.5b remaining)
Error of 8.8b against oracle of 5.2b and baseline of 32.0b
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.2308229534737164e+20 | 4.4914796769937245e+27 | 3.3627913932282257e+22 |
| 10 | 2.3120063448528447e-114 | 6.389619675209379e-102 | 2.3448135958717817e-114 |
| 9 | -1.6867412280479856e+126 | -2.8600599763572115e+119 | -1.6733539759872003e+120 |
Useful iterations: 1 (6.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 39 | 82 |
| 1 | 46 | 80 |
| 2 | 47 | 80 |
| done | 47 | 80 |
| 925.0ms | 5854× | body | 80 | valid |
| 834.0ms | 918× | body | 1280 | valid |
| 587.0ms | 1075× | body | 2560 | valid |
| 336.0ms | 2889× | body | 80 | nan |
| 281.0ms | 457× | body | 640 | valid |
| 60.0ms | 110× | body | 5120 | valid |
| 54.0ms | 210× | body | 320 | valid |
| 15.0ms | 108× | body | 160 | valid |