Time bar (total: 2.2m)Debug log
1 alts after pruning (1 fresh and 0 done)
Merged error: 28.0b
Found 3 expressions with local error:
| 3.0b | (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) |
| 0.0b | (/ (+ x 1) (- x 1)) |
| 0.0b | (/ x (+ x 1)) |
3 calls. Slowest were:
| 16.0ms | (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) |
| 6.0ms | (/ (+ x 1) (- x 1)) |
| 1.0ms | (/ x (+ x 1)) |
3 calls. Slowest were:
| 52.0ms | (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) |
| 25.0ms | (/ (+ x 1) (- x 1)) |
| 17.0ms | (/ x (+ x 1)) |
235 calls. Slowest were:
| 1.1s | (fma (/ x (- (* x x) (* 1 1))) (- x 1) (- (* (/ 1 (- x 1)) (+ x 1)))) |
| 992.0ms | (fma (/ x (- (* x x) (* 1 1))) (- x 1) (- (* (sqrt (/ (+ x 1) (- x 1))) (sqrt (/ (+ x 1) (- x 1)))))) |
| 887.0ms | (fma (/ x (- (* x x) (* 1 1))) (- x 1) (- (* (cbrt (/ (+ x 1) (- x 1))) (* (cbrt (/ (+ x 1) (- x 1))) (cbrt (/ (+ x 1) (- x 1))))))) |
4 alts after pruning (4 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 3.8b | (log (exp (/ x (+ x 1)))) |
| 3.0b | (- (log (exp (/ x (+ x 1)))) (/ (+ x 1) (- x 1))) |
| 0.0b | (exp (/ x (+ x 1))) |
| 0.0b | (/ (+ x 1) (- x 1)) |
4 calls. Slowest were:
| 18.0ms | (- (log (exp (/ x (+ x 1)))) (/ (+ x 1) (- x 1))) |
| 5.0ms | (/ (+ x 1) (- x 1)) |
| 2.0ms | (log (exp (/ x (+ x 1)))) |
4 calls. Slowest were:
| 34.0ms | (- (log (exp (/ x (+ x 1)))) (/ (+ x 1) (- x 1))) |
| 19.0ms | (exp (/ x (+ x 1))) |
| 17.0ms | (log (exp (/ x (+ x 1)))) |
375 calls. Slowest were:
| 1.3s | (fma (/ 1 (+ x 1)) (log (exp x)) (- (* (+ x 1) (/ (+ x 1) (- (* x x) (* 1 1)))))) |
| 936.0ms | (- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x))))) |
| 932.0ms | (fma 1 (log (exp (/ x (+ x 1)))) (- (* (+ x 1) (/ (+ x 1) (- (* x x) (* 1 1)))))) |
4 alts after pruning (3 fresh and 1 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 28.7b | (fma (/ (+ 1 x) (fma (* x x) x -1)) (- (- -1 x) (* x x)) (/ x (+ 1 x))) |
| 4.0b | (/ (+ 1 x) (fma (* x x) x -1)) |
| 0.0b | (fma (* x x) x -1) |
| 0.0b | (- (- -1 x) (* x x)) |
4 calls. Slowest were:
| 4.0ms | (- (- -1 x) (* x x)) |
| 3.0ms | (/ (+ 1 x) (fma (* x x) x -1)) |
| 0.0ms | (fma (/ (+ 1 x) (fma (* x x) x -1)) (- (- -1 x) (* x x)) (/ x (+ 1 x))) |
4 calls. Slowest were:
| 47.0ms | (fma (* x x) x -1) |
| 46.0ms | (fma (/ (+ 1 x) (fma (* x x) x -1)) (- (- -1 x) (* x x)) (/ x (+ 1 x))) |
| 18.0ms | (/ (+ 1 x) (fma (* x x) x -1)) |
50 calls. Slowest were:
| 636.0ms | (- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x))))) |
| 607.0ms | (- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x))))) |
| 339.0ms | (/ (* (* (+ 1 x) (+ 1 x)) (+ 1 x)) (* (* (fma (* x x) x -1) (fma (* x x) x -1)) (fma (* x x) x -1))) |
4 alts after pruning (2 fresh and 2 done)
Merged error: 0.1b
Found 0 expressions with local error:
0 calls. Slowest were:
0 calls. Slowest were:
0 calls. Slowest were:
4 alts after pruning (1 fresh and 3 done)
Merged error: 0.1b
Please include this information when filing a bug report:
herbie shell --seed 2018359 +o rules:numerics
(FPCore (x)
:name "Asymptote C"
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))
| partition: contract violation expected: list? given: 0.06205334922128574 argument position: 2nd other arguments...: #<procedure:ordinary-value?> | L | C | |
|---|---|---|---|
| partition | /home/p92/racket/collects/racket/list.rkt | 555 | 0 |
| errors-score | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 322 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/sandbox.rkt | 75 | 12 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |