Error in 6.1s

Runtime

Time bar (total: 6.1s)Debug log

start77.0ms

Algorithm
intervals

setup19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
1 → 19
Calls

1 calls. Slowest were:

7.0ms
(* (cos im) (exp re))

series76.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

76.0ms
(* (cos im) (exp re))

simplify160.0ms

Counts
11 → 22
Calls

11 calls. Slowest were:

88.0ms
(* (* (* (cos im) (cos im)) (cos im)) (* (* (exp re) (exp re)) (exp re)))
54.0ms
(- (+ re 1) (* 1/2 (pow im 2)))
3.0ms
(* (cos im) (exp re))

prune232.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (exp re)) (cbrt (exp re)))
0.0b
(cbrt (exp re))
0.0b
(cbrt (exp re))
0.0b
(cbrt (exp re))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

12.0ms
(* (cbrt (exp re)) (cbrt (exp re)))
1.0ms
(cbrt (exp re))
1.0ms
(cbrt (exp re))

series511.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

136.0ms
(cbrt (exp re))
132.0ms
(cbrt (exp re))
126.0ms
(cbrt (exp re))

simplify295.0ms

Counts
41 → 81
Calls

41 calls. Slowest were:

68.0ms
(+ (* 1/3 re) (+ (* 1/18 (pow re 2)) 1))
50.0ms
(+ (* 1/3 re) (+ (* 1/18 (pow re 2)) 1))
43.0ms
(+ (* 1/3 re) (+ (* 1/18 (pow re 2)) 1))

prune828.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes117.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, real part"
  (* (exp re) (cos im)))

Backtrace

partition: contract violation expected: list? given: 0.006948120312590144 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