Error in 23.2s

Runtime

Time bar (total: 23.2s)Debug log

start74.0ms

Algorithm
intervals

setup10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (sin im) (exp re))

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
1 → 19
Calls

1 calls. Slowest were:

37.0ms
(* (sin im) (exp re))

series38.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

38.0ms
(* (sin im) (exp re))

simplify402.0ms

Counts
11 → 22
Calls

11 calls. Slowest were:

311.0ms
(- (+ (* re im) im) (* 1/6 (pow im 3)))
76.0ms
(* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re)))
3.0ms
(* (sin im) (exp re))

prune215.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (sin im) (sqrt (exp re))) (sqrt (exp re)))
0.0b
(* (sin im) (sqrt (exp re)))
0.0b
(sqrt (exp re))
0.0b
(sqrt (exp re))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

11.0ms
(* (* (sin im) (sqrt (exp re))) (sqrt (exp re)))
4.0ms
(* (sin im) (sqrt (exp re)))
1.0ms
(sqrt (exp re))

series118.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

56.0ms
(* (sin im) (sqrt (exp re)))
38.0ms
(* (* (sin im) (sqrt (exp re))) (sqrt (exp re)))
12.0ms
(sqrt (exp re))

simplify1.6s

Counts
44 → 85
Calls

44 calls. Slowest were:

435.0ms
(* (* (* (* (sin im) (sqrt (exp re))) (* (sin im) (sqrt (exp re)))) (* (sin im) (sqrt (exp re)))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))))
344.0ms
(- (+ (* 1/2 (* re im)) im) (* 1/6 (pow im 3)))
295.0ms
(* (* (* (* (sin im) (sin im)) (sin im)) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))))

prune875.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re))))
0.0b
(* (sin im) (sqrt (exp re)))
0.0b
(* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re))))
0.0b
(sqrt (sqrt (exp re)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Counts
4 → 95
Calls

4 calls. Slowest were:

41.0ms
(* (* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re))))
23.0ms
(* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re))))
9.0ms
(* (sin im) (sqrt (exp re)))

series324.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

141.0ms
(sqrt (sqrt (exp re)))
98.0ms
(* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re))))
51.0ms
(* (sin im) (sqrt (exp re)))

simplify3.2s

Counts
66 → 107
Calls

66 calls. Slowest were:

539.0ms
(* (* (* (* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re)))) (* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re))))) (* (* (sin im) (sqrt (exp re))) (sqrt (sqrt (exp re))))) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re)))))
508.0ms
(* (* (* (* (sin im) (sqrt (exp re))) (* (sin im) (sqrt (exp re)))) (* (sin im) (sqrt (exp re)))) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re)))))
399.0ms
(* (* (* (* (sin im) (sin im)) (sin im)) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re)))) (* (* (sqrt (sqrt (exp re))) (sqrt (sqrt (exp re)))) (sqrt (sqrt (exp re)))))

prune1.3s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

16.0b
(cbrt (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))))
0.1b
(* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re)))
0.1b
(* (* (sin im) (exp re)) (* (sin im) (exp re)))
0.0b
(* (sin im) (exp re))

rewrite170.0ms

Algorithm
rewrite-expression-head
Counts
4 → 126
Calls

4 calls. Slowest were:

81.0ms
(* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re)))
51.0ms
(cbrt (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))))
26.0ms
(* (* (sin im) (exp re)) (* (sin im) (exp re)))

series195.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

65.0ms
(* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re)))
47.0ms
(* (sin im) (exp re))
44.0ms
(* (* (sin im) (exp re)) (* (sin im) (exp re)))

simplify8.0s

Counts
114 → 138
Calls

114 calls. Slowest were:

1.1s
(* (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))) (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re))))
765.0ms
(* (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (sin im) (exp re)) (* (sin im) (exp re))) (* (sin im) (exp re))))
735.0ms
(* (* (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re))) (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re)))) (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re))))

prune1.6s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes120.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (re im)
  :name "math.exp on complex, imaginary part"
  (* (exp re) (sin im)))

Backtrace

partition: contract violation expected: list? given: 0.03859384716409109 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128