Error in 39.2s

Runtime

Time bar (total: 39.2s)Debug log

start307.0ms

Algorithm
intervals

setup653.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (sin re) (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))
0.0b
(/ 0.5 (exp im))
0.0b
(+ (* 0.5 (exp im)) (/ 0.5 (exp im)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
3 → 47
Calls

3 calls. Slowest were:

18.0ms
(* (sin re) (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))
7.0ms
(+ (* 0.5 (exp im)) (/ 0.5 (exp im)))
1.0ms
(/ 0.5 (exp im))

series184.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

119.0ms
(* (sin re) (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))
45.0ms
(+ (* 0.5 (exp im)) (/ 0.5 (exp im)))
19.0ms
(/ 0.5 (exp im))

simplify1.9s

Counts
27 → 56
Calls

27 calls. Slowest were:

527.0ms
(* (sin re) (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))))
459.0ms
(* (sin re) (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))))
442.0ms
(+ (* (* 0.5 (exp im)) (* 0.5 (exp im))) (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* 0.5 (exp im)) (/ 0.5 (exp im)))))

prune651.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sin re) (* 0.5 (exp im)))
0.0b
(* (sin re) (/ 0.5 (exp im)))
0.0b
(/ 0.5 (exp im))
0.0b
(+ (* (sin re) (* 0.5 (exp im))) (* (sin re) (/ 0.5 (exp im))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
Calls

4 calls. Slowest were:

13.0ms
(+ (* (sin re) (* 0.5 (exp im))) (* (sin re) (/ 0.5 (exp im))))
9.0ms
(* (sin re) (* 0.5 (exp im)))
7.0ms
(* (sin re) (/ 0.5 (exp im)))

series195.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

93.0ms
(+ (* (sin re) (* 0.5 (exp im))) (* (sin re) (/ 0.5 (exp im))))
46.0ms
(* (sin re) (* 0.5 (exp im)))
45.0ms
(* (sin re) (/ 0.5 (exp im)))

simplify1.5s

Counts
34 → 71
Calls

34 calls. Slowest were:

293.0ms
(- (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.08333333333333333 (pow re 3))))
277.0ms
(- (+ (* 0.5 re) (* 0.5 (* re im))) (* 0.08333333333333333 (pow re 3)))
206.0ms
(* (* (* (sin re) (sin re)) (sin re)) (* (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* 0.5 (exp im))))

prune897.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 0.5 (exp im))
0.0b
(/ 0.5 (exp im))
0.0b
(* (* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))
0.0b
(* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

27.0ms
(* (* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))
10.0ms
(* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))
1.0ms
(/ 0.5 (exp im))

series266.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

153.0ms
(* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))
91.0ms
(* (* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))
12.0ms
(/ 0.5 (exp im))

simplify6.2s

Counts
58 → 91
Calls

58 calls. Slowest were:

805.0ms
(* (* (* (* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))) (* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))) (* (sin re) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))))) (* (* (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im)))) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))) (sqrt (+ (* 0.5 (exp im)) (/ 0.5 (exp im))))))
502.0ms
(* (sin re) (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))))
442.0ms
(sqrt (+ (* (* 0.5 (exp im)) (* 0.5 (exp im))) (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* 0.5 (exp im)) (/ 0.5 (exp im))))))

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

5.7b
(- (* 0.5 (exp im)) (/ 0.5 (exp im)))
0.3b
(/ (+ (/ (* (sin re) (pow 0.5 3)) (pow (exp im) 3)) (* (* (sin re) (pow 0.5 3)) (pow (exp im) 3))) (- (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* (/ 0.5 (exp im)) (- (* 0.5 (exp im)) (/ 0.5 (exp im))))))
0.0b
(pow (exp im) 3)
0.0b
(pow (exp im) 3)

rewrite78.0ms

Algorithm
rewrite-expression-head
Counts
4 → 86
Calls

4 calls. Slowest were:

69.0ms
(/ (+ (/ (* (sin re) (pow 0.5 3)) (pow (exp im) 3)) (* (* (sin re) (pow 0.5 3)) (pow (exp im) 3))) (- (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* (/ 0.5 (exp im)) (- (* 0.5 (exp im)) (/ 0.5 (exp im))))))
4.0ms
(- (* 0.5 (exp im)) (/ 0.5 (exp im)))
2.0ms
(pow (exp im) 3)

series426.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

300.0ms
(/ (+ (/ (* (sin re) (pow 0.5 3)) (pow (exp im) 3)) (* (* (sin re) (pow 0.5 3)) (pow (exp im) 3))) (- (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* (/ 0.5 (exp im)) (- (* 0.5 (exp im)) (/ 0.5 (exp im))))))
94.0ms
(- (* 0.5 (exp im)) (/ 0.5 (exp im)))
17.0ms
(pow (exp im) 3)

simplify9.3s

Counts
68 → 98
Calls

68 calls. Slowest were:

372.0ms
(/ 1 (sqrt (- (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* (/ 0.5 (exp im)) (- (* 0.5 (exp im)) (/ 0.5 (exp im)))))))
335.0ms
(/ (cbrt (+ (/ (* (sin re) (pow 0.5 3)) (pow (exp im) 3)) (* (* (sin re) (pow 0.5 3)) (pow (exp im) 3)))) (cbrt (- (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* (/ 0.5 (exp im)) (- (* 0.5 (exp im)) (/ 0.5 (exp im)))))))
315.0ms
(- (log (+ (/ (* (sin re) (pow 0.5 3)) (pow (exp im) 3)) (* (* (sin re) (pow 0.5 3)) (pow (exp im) 3)))) (log (- (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* (/ 0.5 (exp im)) (- (* 0.5 (exp im)) (/ 0.5 (exp im)))))))

prune1.9s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes124.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (re im)
  :name "math.sin on complex, real part"
  (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))

Backtrace

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