Time bar (total: 54.5s)Debug logProfile
2 alts after pruning (2 fresh and 0 done)
Merged error: 58.5b
Found 2 expressions with local error:
| 4.0b | (- (exp (- 0 im)) (exp im)) |
| 0.0b | (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))) |
2 calls. Slowest were:
| 31.0ms | (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))) |
| 16.0ms | (- (exp (- 0 im)) (exp im)) |
2 calls. Slowest were:
| 109.0ms | (* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im))) |
| 68.0ms | (- (exp (- 0 im)) (exp im)) |
88 calls. Slowest were:
| 558.0ms | (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) |
| 363.0ms | (* (* 0.5 (cos re)) (fma (- (exp im)) 1 (* (exp im) 1))) |
| 345.0ms | (* (* 0.5 (cos re)) (fma (- (exp im)) 1 (* (exp im) 1))) |
5 alts after pruning (5 fresh and 0 done)
Merged error: 0.2b
Found 2 expressions with local error:
| 0.2b | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 0.1b | (* (pow im 5) -1/60) |
2 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) |
2 calls. Slowest were:
| 169.0ms | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 36.0ms | (* (pow im 5) -1/60) |
16 calls. Slowest were:
| 447.0ms | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 266.0ms | (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im))) |
| 237.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.1b
Found 4 expressions with local error:
| 0.6b | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 0.6b | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 0.6b | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 0.5b | (* (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))))) |
4 calls. Slowest were:
| 24.0ms | (* (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))))) |
| 6.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 6.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
4 calls. Slowest were:
| 552.0ms | (* (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))))) |
| 332.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 274.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
31 calls. Slowest were:
| 585.0ms | (* (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 569.0ms | (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 568.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
16 alts after pruning (14 fresh and 2 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.7b | (cbrt (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))) |
| 0.6b | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 0.6b | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 0.4b | (* (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) (cbrt (* 0.5 (cos re)))) |
4 calls. Slowest were:
| 16.0ms | (* (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) (cbrt (* 0.5 (cos re)))) |
| 3.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 3.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
4 calls. Slowest were:
| 307.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
| 302.0ms | (* (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) (cbrt (* 0.5 (cos re)))) |
| 267.0ms | (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) |
28 calls. Slowest were:
| 492.0ms | (+ (log (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))))) (log (cbrt (* 0.5 (cos re))))) |
| 488.0ms | (* (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))) (cbrt (* 0.5 (cos re)))) |
| 436.0ms | (* (cbrt (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60))))) (cbrt (cbrt (* (* 0.5 (cos re)) (fma im (fma -1/3 (* im im) -2) (* (pow im 5) -1/60)))))) |
15 alts after pruning (13 fresh and 2 done)
Merged error: 0.0b
Please include this information when filing a bug report:
herbie shell --seed 2018357 +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.6511742794198436 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 |