Time bar (total: 54.9s)
| 184.0ms | 649× | body | 80 | valid |
| 383.0ms | (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 14.8b
Found 4 expressions with local error:
| 7.8b | (* x (- (* y z) (* t a))) |
| 5.7b | (* j (- (* c t) (* i y))) |
| 4.8b | (* b (- (* c z) (* i a))) |
| 0.2b | (- (* c t) (* i y)) |
| 64× | add-sqr-sqrt |
| 42× | *-un-lft-identity |
| 33× | associate-*r* |
| 25× | associate-*l* |
| 19× | unswap-sqr |
| 16× | distribute-lft-out-- difference-of-squares |
| 10× | pow1 add-cbrt-cube add-exp-log add-cube-cbrt |
| 7× | sub-neg |
| 6× | distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp |
| 4× | flip3-- insert-posit16 flip-- |
| 3× | pow-prod-down prod-exp *-commutative cbrt-unprod |
| 1× | diff-log |
| 116.0ms | (* x (- (* y z) (* t a))) |
| 88.0ms | (* b (- (* c z) (* i a))) |
| 76.0ms | (* j (- (* c t) (* i y))) |
| 27.0ms | (- (* c t) (* i y)) |
| 114.0ms | (* b (- (* c z) (* i a))) |
| 102.0ms | (* j (- (* c t) (* i y))) |
| 100.0ms | (* x (- (* y z) (* t a))) |
| 67.0ms | (- (* c t) (* i y)) |
| 1.5s | (* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a)))) |
| 1.0s | (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) |
| 972.0ms | (* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a)))) |
| 275.0ms | (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))) |
| 260.0ms | (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))) |
25 alts after pruning (25 fresh and 0 done)
Merged error: 8.4b
Found 4 expressions with local error:
| 9.6b | (* x (* y z)) |
| 5.7b | (* j (- (* c t) (* i y))) |
| 4.8b | (* b (- (* c z) (* i a))) |
| 4.6b | (* x (- (* t a))) |
| 71× | associate-*r* |
| 61× | add-sqr-sqrt |
| 36× | *-un-lft-identity |
| 29× | associate-*l* |
| 20× | add-cube-cbrt |
| 17× | unswap-sqr |
| 15× | pow1 add-cbrt-cube add-exp-log |
| 12× | distribute-lft-neg-in distribute-rgt-neg-in |
| 8× | distribute-lft-out-- difference-of-squares |
| 7× | *-commutative |
| 6× | pow-prod-down prod-exp cbrt-unprod |
| 4× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ insert-posit16 add-log-exp |
| 2× | flip3-- flip-- |
| 1× | neg-mul-1 distribute-rgt-neg-out |
| 119.0ms | (* b (- (* c z) (* i a))) |
| 102.0ms | (* j (- (* c t) (* i y))) |
| 28.0ms | (* x (* y z)) |
| 20.0ms | (* x (- (* t a))) |
| 116.0ms | (* j (- (* c t) (* i y))) |
| 114.0ms | (* b (- (* c z) (* i a))) |
| 59.0ms | (* x (* y z)) |
| 46.0ms | (* x (- (* t a))) |
| 1.0s | (* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a)))) |
| 1.0s | (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) |
| 579.0ms | (* (* (* x x) x) (* (* (* y z) (* y z)) (* y z))) |
| 468.0ms | (* (* (* x x) x) (* (* (* y y) y) (* (* z z) z))) |
| 318.0ms | (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))) |
20 alts after pruning (20 fresh and 0 done)
Merged error: 5.8b
Found 4 expressions with local error:
| 5.7b | (* j (- (* c t) (* i y))) |
| 4.8b | (* b (- (* c z) (* i a))) |
| 4.6b | (* x (- (* t a))) |
| 4.4b | (* (* x y) z) |
| 62× | associate-*r* |
| 61× | add-sqr-sqrt |
| 38× | associate-*l* |
| 36× | *-un-lft-identity |
| 20× | add-cube-cbrt |
| 17× | unswap-sqr |
| 15× | pow1 add-cbrt-cube add-exp-log |
| 12× | distribute-lft-neg-in distribute-rgt-neg-in |
| 8× | distribute-lft-out-- difference-of-squares |
| 7× | *-commutative |
| 6× | pow-prod-down prod-exp cbrt-unprod |
| 4× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ insert-posit16 add-log-exp |
| 2× | flip3-- flip-- |
| 1× | neg-mul-1 distribute-rgt-neg-out |
| 100.0ms | (* j (- (* c t) (* i y))) |
| 84.0ms | (* b (- (* c z) (* i a))) |
| 40.0ms | (* x (- (* t a))) |
| 40.0ms | (* (* x y) z) |
| 110.0ms | (* b (- (* c z) (* i a))) |
| 110.0ms | (* j (- (* c t) (* i y))) |
| 44.0ms | (* x (- (* t a))) |
| 41.0ms | (* (* x y) z) |
| 1.1s | (* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a)))) |
| 1.0s | (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) |
| 558.0ms | (* (* (* (* x y) (* x y)) (* x y)) (* (* z z) z)) |
| 491.0ms | (* (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) |
| 274.0ms | (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))) |
21 alts after pruning (21 fresh and 0 done)
Merged error: 5.3b
Found 4 expressions with local error:
| 5.7b | (* j (- (* c t) (* i y))) |
| 4.8b | (* b (- (* c z) (* i a))) |
| 4.4b | (* (* x y) z) |
| 3.8b | (* (* x (- t)) a) |
| 60× | add-sqr-sqrt |
| 51× | associate-*l* |
| 41× | associate-*r* |
| 34× | *-un-lft-identity |
| 18× | pow1 add-cbrt-cube add-exp-log add-cube-cbrt unswap-sqr |
| 8× | pow-prod-down prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares |
| 6× | *-commutative |
| 4× | distribute-rgt-in sub-neg distribute-lft-in associate-*r/ insert-posit16 add-log-exp |
| 3× | distribute-lft-neg-in distribute-rgt-neg-in |
| 2× | flip3-- flip-- |
| 1× | distribute-lft-neg-out neg-mul-1 distribute-rgt-neg-out |
| 119.0ms | (* b (- (* c z) (* i a))) |
| 94.0ms | (* j (- (* c t) (* i y))) |
| 39.0ms | (* (* x (- t)) a) |
| 21.0ms | (* (* x y) z) |
| 133.0ms | (* j (- (* c t) (* i y))) |
| 125.0ms | (* b (- (* c z) (* i a))) |
| 44.0ms | (* (* x (- t)) a) |
| 38.0ms | (* (* x y) z) |
| 1.5s | (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) |
| 1.1s | (* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a)))) |
| 529.0ms | (* (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) |
| 507.0ms | (* (* (* (* x y) (* x y)) (* x y)) (* (* z z) z)) |
| 302.0ms | (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a)))) |
22 alts after pruning (22 fresh and 0 done)
Merged error: 5.2b
5.9% (6.2b remaining)
Error of 11.7b against oracle of 5.5b and baseline of 12.1b
| 5.7s | 19168× | body | 80 | valid |