Time bar (total: 59.6s)
| 23.0ms | 325× | body | 80 | valid |
| 97.0ms | (fabs (- (/ (+ x 4) y) (* (/ x y) z))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 1.7b
Found 3 expressions with local error:
| 3.0b | (* (/ x y) z) |
| 0.0b | (/ (+ x 4) y) |
| 0.0b | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 28× | *-un-lft-identity |
| 25× | add-sqr-sqrt |
| 22× | times-frac |
| 20× | add-cube-cbrt |
| 13× | associate-*l* |
| 10× | add-cbrt-cube add-exp-log |
| 5× | pow1 add-log-exp |
| 4× | distribute-lft-out associate-/l* |
| 3× | associate-/r* associate-*r* associate-*l/ insert-posit16 |
| 2× | cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/ |
| 1× | clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log pow-prod-down *-commutative frac-sub flip-+ flip-- sub-div |
| 36.0ms | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 14.0ms | (/ (+ x 4) y) |
| 11.0ms | (* (/ x y) z) |
| 79.0ms | (- (/ (+ x 4) y) (* (/ x y) z)) |
| 48.0ms | (/ (+ x 4) y) |
| 25.0ms | (* (/ x y) z) |
| 309.0ms | (exp (- (/ (+ x 4) y) (* (/ x y) z))) |
| 306.0ms | (* (* (/ (+ x 4) y) (/ (+ x 4) y)) (/ (+ x 4) y)) |
| 291.0ms | (* (* (* (/ x y) z) (* (/ x y) z)) (* (/ x y) z)) |
| 263.0ms | (/ (* (* (+ x 4) (+ x 4)) (+ x 4)) (* (* y y) y)) |
| 260.0ms | (* (* (* (/ x y) (/ x y)) (/ x y)) (* (* z z) z)) |
7 alts after pruning (7 fresh and 0 done)
Merged error: 0b
Found 3 expressions with local error:
| 3.0b | (* (/ x y) z) |
| 0.0b | (+ (/ x y) (/ 4 y)) |
| 0.0b | (- (+ (/ x y) (/ 4 y)) (* (/ x y) z)) |
| 21× | *-un-lft-identity |
| 18× | add-sqr-sqrt |
| 16× | times-frac |
| 13× | associate-*l* add-cube-cbrt |
| 10× | add-log-exp |
| 8× | add-cbrt-cube add-exp-log |
| 5× | pow1 |
| 4× | associate-*l/ distribute-lft-out |
| 3× | associate-*r* frac-sub insert-posit16 div-inv |
| 2× | sum-log flip3-+ diff-log frac-add prod-exp cbrt-unprod flip-+ unswap-sqr |
| 1× | cbrt-undiv +-commutative sub-neg distribute-rgt-out flip3-- div-exp pow-prod-down associate--l+ *-commutative flip-- |
| 94.0ms | (- (+ (/ x y) (/ 4 y)) (* (/ x y) z)) |
| 22.0ms | (* (/ x y) z) |
| 13.0ms | (+ (/ x y) (/ 4 y)) |
| 61.0ms | (- (+ (/ x y) (/ 4 y)) (* (/ x y) z)) |
| 55.0ms | (+ (/ x y) (/ 4 y)) |
| 39.0ms | (* (/ x y) z) |
| 1.3s | (* (* (- (+ (/ x y) (/ 4 y)) (* (/ x y) z)) (- (+ (/ x y) (/ 4 y)) (* (/ x y) z))) (- (+ (/ x y) (/ 4 y)) (* (/ x y) z))) |
| 476.0ms | (/ (exp (+ (/ x y) (/ 4 y))) (exp (* (/ x y) z))) |
| 442.0ms | (/ (* (exp (/ x y)) (exp (/ 4 y))) (exp (* (/ x y) z))) |
| 413.0ms | (* (* (+ (/ x y) (/ 4 y)) (+ (/ x y) (/ 4 y))) (+ (/ x y) (/ 4 y))) |
| 411.0ms | (- (* (+ (/ x y) (/ 4 y)) (+ (/ x y) (/ 4 y))) (* (* (/ x y) z) (* (/ x y) z))) |
7 alts after pruning (6 fresh and 1 done)
Merged error: 0b
Found 4 expressions with local error:
| 3.3b | (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) z)) |
| 2.3b | (* (/ (cbrt x) y) z) |
| 0.5b | (cbrt x) |
| 0.5b | (cbrt x) |
| 66× | add-exp-log |
| 35× | add-cbrt-cube |
| 33× | prod-exp |
| 30× | add-sqr-sqrt |
| 29× | associate-*l* |
| 23× | times-frac |
| 22× | *-un-lft-identity add-cube-cbrt |
| 20× | cbrt-unprod |
| 18× | div-exp |
| 16× | cbrt-prod |
| 11× | pow1 |
| 10× | cbrt-undiv |
| 6× | 1-exp |
| 4× | associate-*r* pow-prod-down associate-*l/ insert-posit16 add-log-exp |
| 3× | unswap-sqr |
| 2× | pow1/3 *-commutative div-inv |
| 1× | frac-times associate-*r/ |
| 46.0ms | (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) z)) |
| 11.0ms | (* (/ (cbrt x) y) z) |
| 1.0ms | (cbrt x) |
| 1.0ms | (cbrt x) |
| 307.0ms | (cbrt x) |
| 283.0ms | (cbrt x) |
| 177.0ms | (* (/ (cbrt x) y) z) |
| 56.0ms | (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) z)) |
| 681.0ms | (* (/ (* x x) (* (* 1 1) 1)) (* (/ x (* (* y y) y)) (* (* z z) z))) |
| 627.0ms | (* (pow (* x -1) 1/3) (/ (* (cbrt -1) z) y)) |
| 559.0ms | (real->posit16 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) z))) |
| 551.0ms | (+ (log (/ (* (cbrt x) (cbrt x)) 1)) (+ (- (log (cbrt x)) (log y)) (log z))) |
| 549.0ms | (sqrt (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) z))) |
7 alts after pruning (5 fresh and 2 done)
Merged error: 0b
Found 4 expressions with local error:
| 3.5b | (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z)) |
| 1.5b | (* (/ x (cbrt y)) z) |
| 0.6b | (* (cbrt y) (cbrt y)) |
| 0.6b | (cbrt y) |
| 89× | add-exp-log |
| 47× | prod-exp |
| 45× | add-sqr-sqrt |
| 35× | add-cbrt-cube associate-*l* |
| 29× | cbrt-prod *-un-lft-identity add-cube-cbrt |
| 23× | times-frac |
| 21× | cbrt-unprod |
| 20× | div-exp |
| 18× | pow1 |
| 10× | cbrt-undiv associate-*r* |
| 7× | pow1/3 unswap-sqr |
| 6× | rec-exp 1-exp swap-sqr pow-prod-down |
| 4× | associate-*l/ insert-posit16 add-log-exp |
| 3× | *-commutative |
| 2× | pow-sqr pow-prod-up div-inv |
| 1× | pow2 frac-times pow-plus associate-*r/ |
| 78.0ms | (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z)) |
| 18.0ms | (* (/ x (cbrt y)) z) |
| 9.0ms | (* (cbrt y) (cbrt y)) |
| 1.0ms | (cbrt y) |
| 306.0ms | (* (cbrt y) (cbrt y)) |
| 269.0ms | (cbrt y) |
| 176.0ms | (* (/ x (cbrt y)) z) |
| 76.0ms | (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z)) |
| 837.0ms | (+ (- 0 (log (* (cbrt y) (cbrt y)))) (log (* (/ x (cbrt y)) z))) |
| 500.0ms | (* (/ (* (* 1 1) 1) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))) (* (* (* (/ x (cbrt y)) (/ x (cbrt y))) (/ x (cbrt y))) (* (* z z) z))) |
| 490.0ms | (+ (- 0 (+ (log (cbrt y)) (log (cbrt y)))) (log (* (/ x (cbrt y)) z))) |
| 481.0ms | (cbrt (* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))) |
| 460.0ms | (+ (- (log (* (cbrt y) (cbrt y)))) (+ (- (log x) (log (cbrt y))) (log z))) |
7 alts after pruning (4 fresh and 3 done)
Merged error: 0b
92.8% (0.1b remaining)
Error of 0.1b against oracle of 0.0b and baseline of 1.6b
| 1.3s | 10103× | body | 80 | valid |