Time bar (total: 39.4s)
| 215.0ms | 1829× | body | 80 | nan |
| 29.0ms | 256× | body | 80 | valid |
| 321.0ms | (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))) |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.3b
Found 2 expressions with local error:
| 0.4b | (fma (- a 0.5) (log t) (log z)) |
| 0.2b | (+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z))) |
| 6× | *-un-lft-identity |
| 5× | associate-+l+ |
| 4× | add-sqr-sqrt add-cube-cbrt add-log-exp |
| 3× | log-prod fma-def associate--l+ |
| 2× | expm1-log1p-u pow1 add-cbrt-cube add-exp-log fma-udef insert-posit16 log1p-expm1-u |
| 1× | +-commutative associate-+r+ sum-log sub-neg flip3-+ associate-+l- flip-+ distribute-lft-out |
| 40.0ms | (+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z))) |
| 0.0ms | (fma (- a 0.5) (log t) (log z)) |
| 188.0ms | (+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z))) |
| 93.0ms | (fma (- a 0.5) (log t) (log z)) |
| 374.0ms | (- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ (* a (log (/ -1 t))) (log (/ -1 z)))) |
| 314.0ms | (* (exp (- (log (+ y x)) t)) (exp (fma (- a 0.5) (log t) (log z)))) |
| 307.0ms | (- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (* a (log (/ 1 t))) (log (/ 1 y)))))) |
| 242.0ms | (- (* 0.5 (log (/ 1 t))) (+ (log (/ 1 z)) (* a (log (/ 1 t))))) |
| 222.0ms | (+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z))) |
11 alts after pruning (11 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.6b | (+ (log (+ x y)) (log z)) |
| 0.1b | (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))) |
| 0.1b | (* (- a 0.5) (log t)) |
| 0.0b | (- (+ (log (+ x y)) (log z)) t) |
| 16× | *-un-lft-identity |
| 10× | add-sqr-sqrt add-cube-cbrt |
| 9× | pow1 |
| 7× | fma-def |
| 6× | associate-+l+ flip3-- add-cbrt-cube associate-*l/ add-exp-log flip-- add-log-exp |
| 5× | fma-neg associate-+l- |
| 4× | expm1-log1p-u log-div flip3-+ frac-add flip-+ insert-posit16 log1p-expm1-u distribute-lft-out |
| 3× | log-prod associate-*r* associate-*l* log-pow |
| 2× | associate--l- +-commutative sum-log sub-neg associate--l+ |
| 1× | pow-prod-down prod-exp *-commutative cbrt-unprod |
| 166.0ms | (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))) |
| 63.0ms | (- (+ (log (+ x y)) (log z)) t) |
| 6.0ms | (+ (log (+ x y)) (log z)) |
| 5.0ms | (* (- a 0.5) (log t)) |
| 244.0ms | (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))) |
| 183.0ms | (- (+ (log (+ x y)) (log z)) t) |
| 101.0ms | (+ (log (+ x y)) (log z)) |
| 73.0ms | (* (- a 0.5) (log t)) |
| 492.0ms | (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (pow a 3) (pow 0.5 3)) (log t)))) |
| 488.0ms | (+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (pow a 3) (pow 0.5 3)) (log t)))) |
| 484.0ms | (- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1)))) |
| 366.0ms | (+ (log z) (log y)) |
| 332.0ms | (- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t))))))) |
11 alts after pruning (11 fresh and 0 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.2b | (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t)))) |
| 0.1b | (+ (- (log z) t) (* (- a 0.5) (log t))) |
| 0.1b | (* (- a 0.5) (log t)) |
| 0.0b | (- (log z) t) |
| 13× | *-un-lft-identity |
| 10× | add-sqr-sqrt add-cube-cbrt |
| 9× | add-log-exp |
| 8× | pow1 |
| 7× | fma-def |
| 6× | flip3-- add-cbrt-cube associate-*l/ add-exp-log flip-- |
| 5× | associate-+l+ |
| 4× | expm1-log1p-u sum-log frac-add associate-+l- insert-posit16 log1p-expm1-u |
| 3× | log-prod flip3-+ fma-neg associate-*r* associate-*l* flip-+ |
| 2× | +-commutative log-div sub-neg log-pow distribute-lft-out |
| 1× | associate-+r+ associate-+r- pow-prod-down prod-exp *-commutative cbrt-unprod |
| 50.0ms | (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t)))) |
| 40.0ms | (+ (- (log z) t) (* (- a 0.5) (log t))) |
| 10.0ms | (* (- a 0.5) (log t)) |
| 7.0ms | (- (log z) t) |
| 278.0ms | (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t)))) |
| 134.0ms | (+ (- (log z) t) (* (- a 0.5) (log t))) |
| 93.0ms | (* (- a 0.5) (log t)) |
| 77.0ms | (- (log z) t) |
| 582.0ms | (- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1)))) |
| 387.0ms | (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (+ a 0.5)) |
| 340.0ms | (- (+ (* a (log t)) (log z)) (+ t (* 0.5 (log t)))) |
| 325.0ms | (- (log -1) (+ t (log (/ -1 z)))) |
| 323.0ms | (- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t))))))) |
11 alts after pruning (10 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.6b | (+ (log (+ x y)) (log z)) |
| 0.5b | (cbrt (log t)) |
| 0.5b | (cbrt (log t)) |
| 0.5b | (cbrt (log t)) |
| 12× | *-un-lft-identity |
| 9× | cbrt-prod add-sqr-sqrt add-cube-cbrt |
| 6× | pow1 |
| 4× | expm1-log1p-u fma-def add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp |
| 3× | associate-+l+ log-prod pow1/3 |
| 2× | log-div flip3-+ log-pow associate-+l- flip-+ distribute-lft-out |
| 1× | +-commutative sum-log |
| 12.0ms | (+ (log (+ x y)) (log z)) |
| 1.0ms | (cbrt (log t)) |
| 1.0ms | (cbrt (log t)) |
| 1.0ms | (cbrt (log t)) |
| 416.0ms | (cbrt (log t)) |
| 397.0ms | (cbrt (log t)) |
| 353.0ms | (cbrt (log t)) |
| 92.0ms | (+ (log (+ x y)) (log z)) |
| 267.0ms | (- (* 2 (log -1)) (+ (log (/ -1 x)) (log (/ -1 z)))) |
| 115.0ms | (pow (- (log -1) (log (/ -1 t))) 1/3) |
| 97.0ms | (pow (- (log -1) (log (/ -1 t))) 1/3) |
| 71.0ms | (pow (- (log -1) (log (/ -1 t))) 1/3) |
| 62.0ms | (log (- (* x x) (* y y))) |
12 alts after pruning (10 fresh and 2 done)
Merged error: 0.0b
0% (0.2b remaining)
Error of 0.3b against oracle of 0.1b and baseline of 0.3b
| 9.7s | 56530× | body | 80 | nan |
| 2.3s | 8039× | body | 80 | valid |