Time bar (total: 9.2s)
| 15.0ms | 275× | body | 80 | valid |
1 alts after pruning (1 fresh and 0 done)
Merged error: 11.2b
Found 1 expressions with local error:
| 10.8b | (/ (- x (* y z)) (- t (* a z))) |
| 9× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac |
| 3× | add-exp-log associate-/r* add-cbrt-cube associate-/l* |
| 2× | flip3-- associate-/r/ flip-- associate-/l/ |
| 1× | pow1 cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv add-log-exp |
| 27.0ms | (/ (- x (* y z)) (- t (* a z))) |
| 107.0ms | (/ (- x (* y z)) (- t (* a z))) |
9 alts after pruning (9 fresh and 0 done)
Merged error: 10.9b
Found 3 expressions with local error:
| 0.0b | (- (/ x (- t (* a z))) (/ (* y z) (- t (* a z)))) |
| 2.4b | (/ x (- t (* a z))) |
| 12.4b | (/ (* y z) (- t (* a z))) |
| 18× | add-sqr-sqrt |
| 15× | *-un-lft-identity |
| 13× | add-cube-cbrt times-frac |
| 10× | add-exp-log add-cbrt-cube |
| 8× | associate-/r/ |
| 6× | associate-/r* |
| 5× | flip3-- flip-- add-log-exp |
| 4× | div-inv associate-/l* |
| 3× | pow1 cbrt-undiv distribute-rgt-out-- div-exp |
| 2× | frac-2neg clear-num difference-of-squares |
| 1× | sub-neg diff-log prod-exp frac-sub cbrt-unprod distribute-lft-out-- sub-div |
| 53.0ms | (- (/ x (- t (* a z))) (/ (* y z) (- t (* a z)))) |
| 14.0ms | (/ x (- t (* a z))) |
| 14.0ms | (/ (* y z) (- t (* a z))) |
| 102.0ms | (- (/ x (- t (* a z))) (/ (* y z) (- t (* a z)))) |
| 54.0ms | (/ x (- t (* a z))) |
| 54.0ms | (/ (* y z) (- t (* a z))) |
9 alts after pruning (9 fresh and 0 done)
Merged error: 5.5b
Found 4 expressions with local error:
| 0.0b | (- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z))) |
| 2.4b | (/ x (- t (* a z))) |
| 3.7b | (/ y (/ (- t (* a z)) z)) |
| 6.9b | (/ (- t (* a z)) z) |
| 104× | times-frac |
| 83× | add-sqr-sqrt |
| 68× | *-un-lft-identity |
| 62× | add-cube-cbrt |
| 19× | associate-/r* |
| 13× | add-exp-log add-cbrt-cube |
| 9× | associate-/l* |
| 7× | div-inv |
| 6× | add-log-exp difference-of-squares |
| 5× | cbrt-undiv div-exp |
| 4× | pow1 |
| 3× | flip3-- frac-2neg clear-num associate-/r/ flip-- |
| 2× | associate-/l/ distribute-lft-out-- |
| 1× | sub-neg diff-log div-sub frac-sub |
| 90.0ms | (- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z))) |
| 14.0ms | (/ x (- t (* a z))) |
| 18.0ms | (/ y (/ (- t (* a z)) z)) |
| 20.0ms | (/ (- t (* a z)) z) |
| 143.0ms | (- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z))) |
| 62.0ms | (/ x (- t (* a z))) |
| 71.0ms | (/ y (/ (- t (* a z)) z)) |
| 50.0ms | (/ (- t (* a z)) z) |
8 alts after pruning (8 fresh and 0 done)
Merged error: 0.7b
Found 4 expressions with local error:
| 0.0b | (- (/ t z) a) |
| 0.0b | (- (/ x (- t (* a z))) (/ y (- (/ t z) a))) |
| 2.4b | (/ x (- t (* a z))) |
| 3.7b | (/ y (- (/ t z) a)) |
| 60× | add-sqr-sqrt |
| 44× | *-un-lft-identity |
| 40× | times-frac |
| 23× | add-cube-cbrt |
| 14× | difference-of-squares |
| 9× | associate-/r* distribute-lft-out-- |
| 8× | add-exp-log add-cbrt-cube add-log-exp |
| 6× | associate-/l* |
| 4× | pow1 flip3-- associate-/r/ flip-- |
| 2× | cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv |
| 1× | frac-sub |
| 27.0ms | (- (/ t z) a) |
| 105.0ms | (- (/ x (- t (* a z))) (/ y (- (/ t z) a))) |
| 13.0ms | (/ x (- t (* a z))) |
| 43.0ms | (/ y (- (/ t z) a)) |
| 34.0ms | (- (/ t z) a) |
| 136.0ms | (- (/ x (- t (* a z))) (/ y (- (/ t z) a))) |
| 56.0ms | (/ x (- t (* a z))) |
| 47.0ms | (/ y (- (/ t z) a)) |
8 alts after pruning (8 fresh and 0 done)
Merged error: 0.7b
0% (1.5b remaining)
Error of 2.9b against oracle of 1.4b and baseline of 2.9b
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 2.846910558253672e-286 | 5.224414932221039e-285 | 4.507429170566249e-285 |
| 8 | -2.2149405557308244e+31 | -3.4323673974027324e+26 | -3.528978657649998e+26 |
| 483.0ms | 8753× | body | 80 | valid |