Time bar (total: 8.7m)
| 44.0ms | 326× | body | 80 | valid |
| 77.0ms | (fabs (- (/ (+ x 4) y) (* (/ x y) z))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 1.5b
Found 3 expressions with local error:
| 3.2b | (* (/ x y) z) |
| 0.0b | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 0.0b | (/ (+ x 4) y) |
| 124× | associate-*l/ |
| 117× | *-un-lft-identity |
| 108× | frac-sub |
| 96× | add-sqr-sqrt |
| 79× | associate-/l* |
| 77× | associate-/r* |
| 70× | add-cube-cbrt |
| 39× | times-frac |
| 25× | frac-2neg |
| 23× | clear-num |
| 20× | associate-*l* associate-/l/ |
| 16× | distribute-lft-out |
| 10× | flip3-+ add-cbrt-cube add-exp-log flip-+ |
| 8× | distribute-lft-out-- |
| 7× | sub-div |
| 6× | difference-of-squares unswap-sqr |
| 5× | pow1 add-log-exp |
| 3× | associate-*r* insert-posit16 |
| 2× | cbrt-undiv div-exp prod-exp cbrt-unprod div-inv |
| 1× | sub-neg flip3-- diff-log pow-prod-down *-commutative flip-- |
| 74.0ms | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 16.0ms | (/ (+ x 4) y) |
| 11.0ms | (* (/ x y) z) |
| 60.0ms | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 37.0ms | (/ (+ x 4) y) |
| 26.0ms | (* (/ x y) z) |
| 594.0ms | (- (* (/ (+ x 4) 1) (/ y (sqrt x))) (* y (* (sqrt x) z))) |
| 550.0ms | (- (* (/ (+ x 4) (sqrt y)) (sqrt y)) (* (sqrt y) (* (/ x (sqrt y)) z))) |
| 499.0ms | (- (* (/ (+ x 4) 1) (- y)) (* y (* (- x) z))) |
| 457.0ms | (- (* 1 (- y)) (* (/ y (+ x 4)) (* (- x) z))) |
| 444.0ms | (- (* 1 (- y)) (* (/ y (+ x 4)) (* (- x) z))) |
6 alts after pruning (6 fresh and 0 done)
Merged error: 0b
Found 3 expressions with local error:
| 3.2b | (/ z (/ y x)) |
| 0.0b | (- (/ (+ x 4) y) (/ z (/ y x))) |
| 0.0b | (/ (+ x 4) y) |
| 247× | *-un-lft-identity |
| 232× | associate-/r* |
| 228× | frac-sub |
| 211× | add-sqr-sqrt |
| 208× | times-frac |
| 190× | add-cube-cbrt |
| 122× | associate-/l* |
| 40× | associate-/l/ |
| 34× | clear-num frac-2neg |
| 24× | distribute-lft-out |
| 20× | flip3-+ flip-+ |
| 18× | div-inv |
| 10× | add-cbrt-cube add-exp-log |
| 9× | associate-/r/ |
| 6× | difference-of-squares |
| 5× | add-log-exp |
| 4× | cbrt-undiv div-exp |
| 3× | pow1 insert-posit16 distribute-lft-out-- |
| 1× | sub-neg flip3-- diff-log flip-- |
| 56.0ms | (- (/ (+ x 4) y) (/ z (/ y x))) |
| 20.0ms | (/ (+ x 4) y) |
| 12.0ms | (/ z (/ y x)) |
| 57.0ms | (- (/ (+ x 4) y) (/ z (/ y x))) |
| 41.0ms | (/ (+ x 4) y) |
| 25.0ms | (/ z (/ y x)) |
| 707.0ms | (- (* (+ x 4) (/ (/ y x) (sqrt z))) (* y (sqrt z))) |
| 639.0ms | (- (* 1 (/ (cbrt y) (cbrt x))) (* (/ y (+ x 4)) (/ z (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))) |
| 632.0ms | (- (* 1 (/ (cbrt y) (cbrt x))) (* (/ y (+ x 4)) (/ z (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))))) |
| 610.0ms | (- (* (+ (pow x 3) (pow 4 3)) (/ (/ y x) z)) (* (* y (+ (* x x) (- (* 4 4) (* x 4)))) 1)) |
| 606.0ms | (- (* (* (cbrt (+ x 4)) (cbrt (+ x 4))) (/ 1 x)) (* (/ y (cbrt (+ x 4))) (/ z y))) |
5 alts after pruning (4 fresh and 1 done)
Merged error: 0b
Found 3 expressions with local error:
| 5.7b | (* x (/ z y)) |
| 0.0b | (- (+ (/ x y) (/ 4 y)) (* x (/ z y))) |
| 0.0b | (+ (/ x y) (/ 4 y)) |
| 984× | associate-/l* |
| 972× | frac-add |
| 913× | frac-sub |
| 900× | associate-/r* |
| 756× | associate-*r/ |
| 715× | *-un-lft-identity |
| 627× | add-sqr-sqrt |
| 613× | add-cube-cbrt |
| 384× | clear-num |
| 300× | frac-2neg |
| 168× | un-div-inv |
| 17× | times-frac |
| 13× | associate-*r* |
| 12× | flip3-+ flip-+ |
| 10× | add-log-exp |
| 8× | add-cbrt-cube add-exp-log |
| 6× | distribute-lft-out |
| 5× | pow1 associate-*l* |
| 4× | distribute-lft-out-- unswap-sqr |
| 3× | insert-posit16 div-inv difference-of-squares |
| 2× | +-commutative sum-log diff-log prod-exp associate--l+ cbrt-unprod |
| 1× | cbrt-undiv sub-neg distribute-rgt-out flip3-- div-exp pow-prod-down *-commutative flip-- |
| 97.0ms | (- (+ (/ x y) (/ 4 y)) (* x (/ z y))) |
| 23.0ms | (+ (/ x y) (/ 4 y)) |
| 10.0ms | (* x (/ z y)) |
| 74.0ms | (- (+ (/ x y) (/ 4 y)) (* x (/ z y))) |
| 32.0ms | (+ (/ x y) (/ 4 y)) |
| 22.0ms | (* x (/ z y)) |
| 710.0ms | (- (* (+ (* (- x) y) (* (- y) (/ 4 1))) (/ y (cbrt z))) (* (* (- y) y) (* x (* (cbrt z) (cbrt z))))) |
| 699.0ms | (- (* (+ (* (/ x 1) (/ y 4)) (* y 1)) (sqrt y)) (* (* y (/ y 4)) (* x (/ z (sqrt y))))) |
| 697.0ms | (- (* (+ (* x y) (* y 4)) y) (* (* y y) (* x (/ z 1)))) |
| 676.0ms | (- (* (+ (* (* (cbrt x) (cbrt x)) y) (* (/ y (cbrt x)) 4)) (/ y (sqrt z))) (* (* (/ y (cbrt x)) y) (* x (sqrt z)))) |
| 668.0ms | (- (* (+ (* (/ x (* (cbrt y) (cbrt y))) (/ y (cbrt 4))) (* (cbrt y) (* (cbrt 4) (cbrt 4)))) (/ y z)) (* (* (cbrt y) (/ y (cbrt 4))) x)) |
5 alts after pruning (3 fresh and 2 done)
Merged error: 0b
Found 3 expressions with local error:
| 4.3b | (/ (+ x (- 4 (* z x))) y) |
| 0.0b | (- 4 (* z x)) |
| 0.0b | (+ x (- 4 (* z x))) |
| 58× | *-un-lft-identity |
| 19× | add-sqr-sqrt |
| 18× | times-frac |
| 15× | distribute-lft-out |
| 14× | add-cube-cbrt |
| 12× | distribute-lft-out-- |
| 10× | add-log-exp |
| 6× | associate-*l* associate-/l* |
| 5× | add-cbrt-cube add-exp-log |
| 3× | pow1 associate-/r* insert-posit16 |
| 2× | associate-+r+ associate-+r- sum-log sub-neg flip3-+ diff-log flip-+ difference-of-squares associate-/l/ |
| 1× | cbrt-undiv +-commutative clear-num frac-2neg flip3-- div-sub div-exp div-inv flip-- unswap-sqr |
| 119.0ms | (/ (+ x (- 4 (* z x))) y) |
| 22.0ms | (+ x (- 4 (* z x))) |
| 8.0ms | (- 4 (* z x)) |
| 60.0ms | (/ (+ x (- 4 (* z x))) y) |
| 41.0ms | (- 4 (* z x)) |
| 35.0ms | (+ x (- 4 (* z x))) |
| 612.0ms | (* (exp x) (exp (- 4 (* z x)))) |
| 390.0ms | (* (exp x) (/ (exp 4) (exp (* z x)))) |
| 250.0ms | (+ (pow x 3) (pow (- 4 (* z x)) 3)) |
| 185.0ms | (/ (* (* (+ x (- 4 (* z x))) (+ x (- 4 (* z x)))) (+ x (- 4 (* z x)))) (* (* y y) y)) |
| 169.0ms | (- (* x x) (* (- 4 (* z x)) (- 4 (* z x)))) |
5 alts after pruning (2 fresh and 3 done)
Merged error: 0b
78.8% (0.4b remaining)
Error of 0.4b against oracle of 0.0b and baseline of 1.7b
| 1.4s | 10105× | body | 80 | valid |