Time bar (total: 22.2s)
| 46.0ms | 283× | body | 80 | valid |
1 alts after pruning (1 fresh and 0 done)
Merged error: 28.7b
Found 4 expressions with local error:
| 0.1b | (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) |
| 0.1b | (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) |
| 2.2b | (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) |
| 27.5b | (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) |
| 18× | add-sqr-sqrt |
| 15× | add-exp-log add-cbrt-cube |
| 12× | add-cube-cbrt *-un-lft-identity |
| 10× | pow1 |
| 9× | associate-*r* associate-*l* |
| 5× | flip3-+ flip-+ |
| 4× | associate-*r/ associate-*l/ prod-exp cbrt-unprod add-log-exp |
| 3× | times-frac pow-prod-down associate-/r* *-commutative unswap-sqr |
| 2× | cbrt-undiv div-exp associate-/r/ associate-/l/ |
| 1× | distribute-rgt-in frac-2neg distribute-lft-in clear-num div-inv associate-/l* |
| 55.0ms | (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) |
| 152.0ms | (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) |
| 193.0ms | (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) |
| 157.0ms | (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) |
| 64.0ms | (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) |
| 76.0ms | (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) |
| 229.0ms | (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) |
| 734.0ms | (/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)) |
9 alts after pruning (9 fresh and 0 done)
Merged error: 3.3b
Found 4 expressions with local error:
| 0.1b | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 0.1b | (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) |
| 0.1b | (/ y (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) b))) |
| 27.1b | (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) b)) |
| 90× | times-frac |
| 64× | add-sqr-sqrt |
| 60× | add-cube-cbrt *-un-lft-identity |
| 20× | associate-*l/ |
| 18× | associate-/r* |
| 15× | add-exp-log add-cbrt-cube |
| 14× | frac-add |
| 12× | flip3-+ flip-+ |
| 11× | associate-/r/ |
| 8× | pow1 associate-/l/ |
| 6× | associate-*r* associate-*l* div-inv associate-/l* |
| 4× | cbrt-undiv div-exp add-log-exp |
| 2× | frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr |
| 121.0ms | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 169.0ms | (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) |
| 254.0ms | (/ y (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) b))) |
| 297.0ms | (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) b)) |
| 50.0ms | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 95.0ms | (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) |
| 617.0ms | (/ y (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) b))) |
| 248.0ms | (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ (* (+ (* (+ (* (+ (* z (/ 7049496828096731.0 2251799813685248.0)) (/ 3143161857605767.0 281474976710656.0)) z) t) z) a) z) b)) |
8 alts after pruning (8 fresh and 0 done)
Merged error: 3.3b
Found 4 expressions with local error:
| 0.0b | (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) |
| 0.1b | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 1.7b | (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b)) |
| 1.8b | (/ y (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b))) |
| 114× | times-frac |
| 100× | *-un-lft-identity |
| 72× | add-sqr-sqrt |
| 68× | add-cube-cbrt |
| 30× | associate-*l/ |
| 22× | associate-/r* |
| 20× | frac-add |
| 16× | distribute-lft-out |
| 15× | add-exp-log add-cbrt-cube |
| 14× | flip3-+ flip-+ |
| 11× | associate-/r/ |
| 8× | pow1 associate-/l/ |
| 6× | associate-*r* associate-*l* div-inv associate-/l* |
| 4× | cbrt-undiv div-exp add-log-exp |
| 2× | frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr |
| 211.0ms | (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) |
| 82.0ms | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 170.0ms | (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b)) |
| 114.0ms | (/ y (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b))) |
| 56.0ms | (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) |
| 38.0ms | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 80.0ms | (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b)) |
| 192.0ms | (/ y (/ (+ (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b))) |
9 alts after pruning (8 fresh and 1 done)
Merged error: 3.2b
Found 4 expressions with local error:
| 0.0b | (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) |
| 0.1b | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 0.1b | (/ y (/ (+ (log (exp (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z))) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b))) |
| 1.8b | (log (exp (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z))) |
| 164× | *-un-lft-identity |
| 158× | times-frac |
| 80× | add-sqr-sqrt |
| 76× | add-cube-cbrt |
| 52× | distribute-lft-out |
| 26× | associate-/r* |
| 25× | pow1 |
| 20× | log-pow |
| 18× | associate-*l/ |
| 13× | add-exp-log add-cbrt-cube |
| 9× | flip3-+ associate-/r/ flip-+ |
| 8× | frac-add |
| 7× | add-log-exp |
| 6× | associate-*r* associate-*l* |
| 5× | div-inv |
| 3× | cbrt-undiv log-prod div-exp associate-/l* |
| 2× | exp-to-pow pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr |
| 1× | exp-prod frac-2neg rem-log-exp clear-num sum-log |
| 132.0ms | (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) |
| 82.0ms | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 58.0ms | (/ y (/ (+ (log (exp (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z))) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b))) |
| 8.0ms | (log (exp (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z))) |
| 56.0ms | (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z) |
| 38.0ms | (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) |
| 181.0ms | (/ y (/ (+ (log (exp (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z))) (/ 2737158995491925.0 4503599627370496.0)) (+ 0 b))) |
| 51.0ms | (log (exp (* (+ (* (+ (* (+ z (/ 4288183283079449.0 281474976710656.0)) z) (/ 4428869650076171.0 140737488355328.0)) z) (/ 3360836715704971.0 281474976710656.0)) z))) |
9 alts after pruning (7 fresh and 2 done)
Merged error: 3.2b
92.9% (1.4b remaining)
Error of 4.3b against oracle of 2.9b and baseline of 22.1b
| Iters | Range | Point | |
|---|---|---|---|
| 5 | 1.9680762236544087e+23 | 5.1954013525007336e+23 | 3.0050173727253705e+23 |
| 9 | -4.4812647640016634e+77 | -7.485834101697834e+70 | -2.607950243078541e+73 |
| 1.8s | 8844× | body | 80 | valid |