Time bar (total: 43.9s)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 57.8b
Found 2 expressions with local error:
| 5.7b | (- (exp (- 0 im)) (exp im)) |
| 0.0b | (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))) |
2 calls. Slowest were:
| 30.0ms | (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))) |
| 8.0ms | (- (exp (- 0 im)) (exp im)) |
2 calls. Slowest were:
| 80.0ms | (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))) |
| 45.0ms | (- (exp (- 0 im)) (exp im)) |
88 calls. Slowest were:
| 382.0ms | (* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) |
| 378.0ms | (* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im)))))) |
| 377.0ms | (* (* 0.5 (cos re)) (fma (- (exp im)) 1 (* (exp im) 1))) |
4 alts after pruning (4 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.1b | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 0.0b | (* (pow im 5) -1/60) |
| 0.0b | (fma -1/3 (* im im) -2) |
| 0.0b | (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)) |
4 calls. Slowest were:
| 10.0ms | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 4.0ms | (* (pow im 5) -1/60) |
| 0.0ms | (fma -1/3 (* im im) -2) |
4 calls. Slowest were:
| 157.0ms | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 38.0ms | (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)) |
| 28.0ms | (* (pow im 5) -1/60) |
22 calls. Slowest were:
| 597.0ms | (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) |
| 538.0ms | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 336.0ms | (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) |
10 alts after pruning (10 fresh and 0 done)
Merged error: 0.1b
Found 2 expressions with local error:
| 0.1b | (* (- (cos re)) (fma 0.008333333333333333 (pow im 5) (fma (* im im) (* 0.16666666666666666 im) (* 1.0 im)))) |
| 0.0b | (fma (* im im) (* 0.16666666666666666 im) (* 1.0 im)) |
2 calls. Slowest were:
| 8.0ms | (* (- (cos re)) (fma 0.008333333333333333 (pow im 5) (fma (* im im) (* 0.16666666666666666 im) (* 1.0 im)))) |
| 0.0ms | (fma (* im im) (* 0.16666666666666666 im) (* 1.0 im)) |
2 calls. Slowest were:
| 128.0ms | (* (- (cos re)) (fma 0.008333333333333333 (pow im 5) (fma (* im im) (* 0.16666666666666666 im) (* 1.0 im)))) |
| 43.0ms | (fma (* im im) (* 0.16666666666666666 im) (* 1.0 im)) |
22 calls. Slowest were:
| 375.0ms | (* (- (cos re)) (fma 0.008333333333333333 (pow im 5) (fma (* im im) (* 0.16666666666666666 im) (* 1.0 im)))) |
| 318.0ms | (- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re)))))) |
| 285.0ms | (- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re)))))) |
11 alts after pruning (10 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.3b | (cbrt (cos re)) |
| 0.3b | (cbrt (cos re)) |
| 0.3b | (cbrt (cos re)) |
| 0.2b | (* (cbrt (cos re)) (cbrt (cos re))) |
4 calls. Slowest were:
| 10.0ms | (* (cbrt (cos re)) (cbrt (cos re))) |
| 1.0ms | (cbrt (cos re)) |
| 1.0ms | (cbrt (cos re)) |
4 calls. Slowest were:
| 270.0ms | (* (cbrt (cos re)) (cbrt (cos re))) |
| 176.0ms | (cbrt (cos re)) |
| 158.0ms | (cbrt (cos re)) |
41 calls. Slowest were:
| 152.0ms | (- 1 (+ (* 1/6 (pow re 2)) (* 1/72 (pow re 4)))) |
| 139.0ms | (- 1 (+ (* 1/6 (pow re 2)) (* 1/72 (pow re 4)))) |
| 120.0ms | (- 1 (+ (* 1/6 (pow re 2)) (* 1/72 (pow re 4)))) |
12 alts after pruning (10 fresh and 2 done)
Merged error: 0.0b
Please include this information when filing a bug report:
herbie shell --seed 2018359 +o rules:numerics
(FPCore (re im)
:name "math.sin on complex, imaginary part"
:herbie-target
(if (< (fabs im) 1) (- (* (cos re) (+ (+ im (* (* (* 1/6 im) im) im)) (* (* (* (* (* 1/120 im) im) im) im) im)))) (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))))
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))))
| partition: contract violation expected: list? given: 0.8154390114637425 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 |