Time bar (total: 6.9m)
| 22.0ms | 323× | body | 80 | valid |
| 75.0ms | (fabs (- (/ (+ x 4) y) (* (/ x y) z))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 1.5b
Found 2 expressions with local error:
| 3.0b | (* (/ x y) z) |
| 0.0b | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 38× | *-un-lft-identity |
| 34× | times-frac |
| 31× | add-sqr-sqrt |
| 26× | add-cube-cbrt |
| 16× | fma-neg prod-diff |
| 13× | associate-*l* |
| 7× | add-cbrt-cube add-exp-log |
| 6× | distribute-lft-out |
| 4× | pow1 add-log-exp |
| 3× | associate-*r* associate-*l/ div-inv |
| 2× | expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u unswap-sqr |
| 1× | cbrt-undiv sub-neg flip3-- diff-log div-exp pow-prod-down *-commutative frac-sub flip-- sub-div |
| 387.0ms | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 22.0ms | (* (/ x y) z) |
| 45.0ms | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 24.0ms | (* (/ x y) z) |
| 281.0ms | (fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y)))) |
| 276.0ms | (fma (/ 1 (sqrt y)) (/ (+ x 4) (sqrt y)) (- (* z (/ x y)))) |
| 242.0ms | (fma (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x 4) (cbrt y)) (- (* z (/ x y)))) |
| 235.0ms | (fma (/ (* (cbrt (+ x 4)) (cbrt (+ x 4))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ x 4)) (cbrt y)) (- (* z (/ x y)))) |
| 227.0ms | (fma (/ 1 (* (cbrt y) (cbrt y))) (/ (+ x 4) (cbrt y)) (- (* z (/ x y)))) |
5 alts after pruning (4 fresh and 1 done)
Merged error: 0b
Found 2 expressions with local error:
| 1.0b | (/ (- (+ x 4) (* x z)) y) |
| 0.0b | (- (+ x 4) (* x z)) |
| 16× | *-un-lft-identity |
| 12× | add-sqr-sqrt add-cube-cbrt |
| 9× | times-frac |
| 7× | add-log-exp |
| 4× | add-cbrt-cube fma-neg prod-diff add-exp-log |
| 3× | associate-/r* associate-/l* |
| 2× | expm1-log1p-u pow1 flip3-- diff-log insert-posit16 log1p-expm1-u flip-- distribute-lft-out associate-/l/ |
| 1× | cbrt-undiv clear-num sum-log sub-neg frac-2neg div-sub div-exp associate--l+ div-inv |
| 62.0ms | (/ (- (+ x 4) (* x z)) y) |
| 41.0ms | (- (+ x 4) (* x z)) |
| 54.0ms | (/ (- (+ x 4) (* x z)) y) |
| 30.0ms | (- (+ x 4) (* x z)) |
| 462.0ms | (- (pow (+ x 4) 3) (pow (* x z) 3)) |
| 235.0ms | (- (* (+ x 4) (+ x 4)) (* (* x z) (* x z))) |
| 171.0ms | (/ (- (+ x 4) (* x z)) (cbrt y)) |
| 154.0ms | (/ (* (* (- (+ x 4) (* x z)) (- (+ x 4) (* x z))) (- (+ x 4) (* x z))) (* (* y y) y)) |
| 142.0ms | (/ (* (exp x) (exp 4)) (exp (* x z))) |
5 alts after pruning (3 fresh and 2 done)
Merged error: 0b
Found 2 expressions with local error:
| 3.2b | (/ z (/ y x)) |
| 0.0b | (- (/ (+ 4 x) y) (/ z (/ y x))) |
| 1684× | times-frac |
| 1245× | *-un-lft-identity |
| 985× | add-sqr-sqrt |
| 964× | add-cube-cbrt |
| 704× | prod-diff |
| 136× | distribute-lft-out |
| 114× | div-inv |
| 17× | associate-/r/ |
| 16× | fma-neg |
| 13× | associate-/r* |
| 7× | add-cbrt-cube add-exp-log |
| 6× | difference-of-squares |
| 4× | add-log-exp |
| 3× | cbrt-undiv div-exp associate-/l* distribute-lft-out-- |
| 2× | expm1-log1p-u pow1 insert-posit16 log1p-expm1-u |
| 1× | clear-num sub-neg frac-2neg flip3-- diff-log frac-sub flip-- |
| 56.0ms | (- (/ (+ 4 x) y) (/ z (/ y x))) |
| 7.0ms | (/ z (/ y x)) |
| 72.0ms | (- (/ (+ 4 x) y) (/ z (/ y x))) |
| 37.0ms | (/ z (/ y x)) |
| 1.1s | (fma (/ 1 1) (/ (+ 4 x) y) (- (* (/ z (/ (cbrt y) (sqrt x))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt x)))))) |
| 827.0ms | (fma (sqrt (/ (+ 4 x) y)) (sqrt (/ (+ 4 x) y)) (- (* (/ z (/ (sqrt y) (cbrt x))) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x))))))) |
| 782.0ms | (fma (- (/ z (/ (sqrt y) (cbrt x)))) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))) (* (/ z (/ (sqrt y) (cbrt x))) (/ 1 (/ (sqrt y) (* (cbrt x) (cbrt x)))))) |
| 778.0ms | (fma (/ 1 (sqrt y)) (/ (+ 4 x) (sqrt y)) (- (* (/ (sqrt z) (/ 1 x)) (/ (sqrt z) y)))) |
| 764.0ms | (fma (- (/ (cbrt z) (/ (sqrt y) (sqrt x)))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))) (* (/ (cbrt z) (/ (sqrt y) (sqrt x))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt y) (sqrt x))))) |
5 alts after pruning (2 fresh and 3 done)
Merged error: 0b
Found 2 expressions with local error:
| 3.8b | (* (/ 1 y) (* z x)) |
| 0.0b | (- (/ (+ 4 x) y) (* (/ 1 y) (* z x))) |
| 37× | *-un-lft-identity |
| 33× | times-frac |
| 25× | add-sqr-sqrt add-cube-cbrt |
| 24× | add-exp-log |
| 16× | fma-neg prod-diff |
| 14× | add-cbrt-cube |
| 13× | associate-*l* |
| 12× | prod-exp |
| 7× | pow1 |
| 6× | cbrt-unprod distribute-lft-out |
| 4× | div-exp add-log-exp |
| 3× | pow-prod-down associate-*l/ div-inv |
| 2× | expm1-log1p-u cbrt-undiv rec-exp 1-exp insert-posit16 log1p-expm1-u |
| 1× | sub-neg flip3-- diff-log associate-*r* *-commutative frac-sub flip-- sub-div |
| 60.0ms | (- (/ (+ 4 x) y) (* (/ 1 y) (* z x))) |
| 31.0ms | (* (/ 1 y) (* z x)) |
| 58.0ms | (- (/ (+ 4 x) y) (* (/ 1 y) (* z x))) |
| 33.0ms | (* (/ 1 y) (* z x)) |
| 566.0ms | (* (* (* (/ 1 y) (/ 1 y)) (/ 1 y)) (* (* (* z z) z) (* (* x x) x))) |
| 380.0ms | (fma (/ (* (cbrt (+ 4 x)) (cbrt (+ 4 x))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ 4 x)) (cbrt y)) (- (* (* z x) (/ 1 y)))) |
| 378.0ms | (- (* (+ 4 x) y) (* y (* 1 (* z x)))) |
| 350.0ms | (fma (/ (* (cbrt (+ 4 x)) (cbrt (+ 4 x))) 1) (/ (cbrt (+ 4 x)) y) (- (* (* z x) (/ 1 y)))) |
| 341.0ms | (fma (/ 1 1) (/ (+ 4 x) y) (- (* (* z x) (/ 1 y)))) |
5 alts after pruning (1 fresh and 4 done)
Merged error: 0b
0% (3.2b remaining)
Error of 3.3b against oracle of 0.0b and baseline of 3.3b
| 1.1s | 10085× | body | 80 | valid |