Time bar (total: 24.0s)
| 49.0ms | 56× | body | 640 | valid |
| 43.0ms | 48× | body | 1280 | valid |
| 34.0ms | 36× | body | 10240 | exit |
| 13.0ms | 115× | body | 80 | valid |
| 8.0ms | 23× | body | 320 | valid |
| 5.0ms | 69× | body | 80 | nan |
| 4.0ms | 2× | body | 2560 | valid |
| 3.0ms | 14× | body | 160 | valid |
| 3.0ms | 7× | body | 640 | nan |
| 2.0ms | 3× | body | 1280 | nan |
| 1.0ms | 4× | body | 320 | nan |
| 0.0ms | 1× | body | 160 | nan |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 7 | 4914 |
| 6 | 921 |
| 5 | 224 |
| 4 | 84 |
| 3 | 53 |
| 2 | 35 |
| 1 | 20 |
| 0 | 12 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 24.5b
Found 3 expressions with local error:
| 0.1b | (/ (log (fma y (exp z) (- 1.0 y))) t) |
| 2.4b | (log (fma y (exp z) (- 1.0 y))) |
| 2.9b | (fma y (exp z) (- 1.0 y)) |
| 13× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 12× | times-frac |
| 8× | pow1 |
| 6× | add-exp-log |
| 5× | add-cbrt-cube log-pow |
| 4× | associate-/l* |
| 3× | expm1-log1p-u log-prod associate-/r* log1p-expm1-u add-log-exp |
| 1× | cbrt-undiv clear-num frac-2neg div-exp rem-log-exp fma-udef div-inv |
| 5.0ms | (/ (log (fma y (exp z) (- 1.0 y))) t) |
| 1.0ms | (log (fma y (exp z) (- 1.0 y))) |
| 0.0ms | (fma y (exp z) (- 1.0 y)) |
| 268.0ms | (/ (log (fma y (exp z) (- 1.0 y))) t) |
| 115.0ms | (log (fma y (exp z) (- 1.0 y))) |
| 64.0ms | (fma y (exp z) (- 1.0 y)) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 2 | 1277 |
| 1 | 338 |
| 0 | 149 |
6 alts after pruning (6 fresh and 0 done)
Merged error: 3.9b
Found 4 expressions with local error:
| 0.1b | (* (* y z) z) |
| 3.0b | (fma 1.0 (* (/ z t) y) (fma (/ (* (* y z) z) t) 0.5 (/ (log 1.0) t))) |
| 4.0b | (* (/ z t) y) |
| 5.4b | (/ (* (* y z) z) t) |
| 23× | add-cbrt-cube add-exp-log |
| 20× | add-sqr-sqrt |
| 15× | *-un-lft-identity add-cube-cbrt |
| 14× | associate-*l* |
| 13× | times-frac |
| 11× | pow1 |
| 8× | prod-exp cbrt-unprod |
| 6× | associate-*r* |
| 4× | expm1-log1p-u cbrt-undiv div-exp pow-prod-down log1p-expm1-u add-log-exp |
| 3× | associate-/r* |
| 2× | *-commutative div-inv unswap-sqr |
| 1× | clear-num frac-2neg associate-*l/ fma-udef associate-/l* |
| 13.0ms | (* (* y z) z) |
| 0.0ms | (fma 1.0 (* (/ z t) y) (fma (/ (* (* y z) z) t) 0.5 (/ (log 1.0) t))) |
| 12.0ms | (* (/ z t) y) |
| 26.0ms | (/ (* (* y z) z) t) |
| 38.0ms | (* (* y z) z) |
| 135.0ms | (fma 1.0 (* (/ z t) y) (fma (/ (* (* y z) z) t) 0.5 (/ (log 1.0) t))) |
| 40.0ms | (* (/ z t) y) |
| 50.0ms | (/ (* (* y z) z) t) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 2 | 2596 |
| 1 | 358 |
| 0 | 143 |
10 alts after pruning (9 fresh and 1 done)
Merged error: 3.9b
Found 4 expressions with local error:
| 0.6b | (cbrt t) |
| 0.6b | (cbrt t) |
| 3.0b | (fma 1.0 (* (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* y (/ (cbrt z) (cbrt t)))) (fma (/ (* (* y z) z) t) 0.5 (/ (log 1.0) t))) |
| 5.4b | (/ (* (* y z) z) t) |
| 13× | add-cbrt-cube add-exp-log |
| 8× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 6× | cbrt-prod |
| 4× | expm1-log1p-u pow1 log1p-expm1-u add-log-exp |
| 3× | cbrt-undiv associate-/r* times-frac div-exp prod-exp cbrt-unprod |
| 2× | pow1/3 |
| 1× | clear-num frac-2neg fma-udef div-inv associate-/l* |
| 1.0ms | (cbrt t) |
| 1.0ms | (cbrt t) |
| 0.0ms | (fma 1.0 (* (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* y (/ (cbrt z) (cbrt t)))) (fma (/ (* (* y z) z) t) 0.5 (/ (log 1.0) t))) |
| 16.0ms | (/ (* (* y z) z) t) |
| 230.0ms | (cbrt t) |
| 279.0ms | (cbrt t) |
| 124.0ms | (fma 1.0 (* (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* y (/ (cbrt z) (cbrt t)))) (fma (/ (* (* y z) z) t) 0.5 (/ (log 1.0) t))) |
| 48.0ms | (/ (* (* y z) z) t) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 2 | 1689 |
| 1 | 270 |
| 0 | 111 |
10 alts after pruning (9 fresh and 1 done)
Merged error: 3.9b
Found 4 expressions with local error:
| 5.0b | (/ y (/ (/ t z) z)) |
| 21.9b | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 21.9b | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 21.9b | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 393× | times-frac |
| 191× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 43× | associate-/r* |
| 17× | div-inv |
| 13× | add-cbrt-cube add-exp-log |
| 9× | cbrt-prod |
| 6× | cbrt-undiv div-exp |
| 4× | expm1-log1p-u pow1 log1p-expm1-u add-log-exp |
| 3× | pow1/3 associate-/l* |
| 1× | clear-num frac-2neg associate-/r/ |
| 25.0ms | (/ y (/ (/ t z) z)) |
| 1.0ms | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 1.0ms | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 1.0ms | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 45.0ms | (/ y (/ (/ t z) z)) |
| 419.0ms | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 390.0ms | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| 440.0ms | (cbrt (fma 1.0 (* y (pow (/ (cbrt z) (cbrt t)) 3)) (fma 0.5 (/ y (/ (/ t z) z)) (/ (log 1.0) t)))) |
| Iter | Nodes |
|---|---|
| done | 5000 |
| 1 | 1443 |
| 0 | 517 |
11 alts after pruning (9 fresh and 2 done)
Merged error: 3.9b
73% (4.3b remaining)
Error of 8.1b against oracle of 3.8b and baseline of 19.7b
| Iter | Nodes |
|---|---|
| done | 36 |
| 1 | 36 |
| 0 | 31 |
| 1.9s | 1620× | body | 10240 | exit |
| 1.2s | 1456× | body | 1280 | valid |
| 832.0ms | 1534× | body | 640 | valid |
| 662.0ms | 2554× | body | 80 | nan |
| 433.0ms | 3534× | body | 80 | valid |
| 338.0ms | 941× | body | 320 | valid |
| 149.0ms | 85× | body | 2560 | valid |
| 90.0ms | 276× | body | 640 | nan |
| 82.0ms | 476× | body | 160 | valid |
| 44.0ms | 103× | body | 1280 | nan |
| 40.0ms | 168× | body | 320 | nan |
| 15.0ms | 110× | body | 160 | nan |