Error in 15.5s

Runtime

Time bar (total: 15.5s)Debug logProfile

start129.0ms

Algorithm
intervals

setup14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize26.0ms

Local error

Found 2 expressions with local error:

29.0b
(/ (+ (* x.im y.im) (* x.re y.re)) (+ (* y.re y.re) (* y.im y.im)))
0.4b
(+ (* x.im y.im) (* x.re y.re))

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
2 → 42
Calls

2 calls. Slowest were:

19.0ms
(/ (+ (* x.im y.im) (* x.re y.re)) (+ (* y.re y.re) (* y.im y.im)))
4.0ms
(+ (* x.im y.im) (* x.re y.re))

series107.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

81.0ms
(/ (+ (* x.im y.im) (* x.re y.re)) (+ (* y.re y.re) (* y.im y.im)))
26.0ms
(+ (* x.im y.im) (* x.re y.re))

simplify1.1s

Counts
36 → 48
Calls

36 calls. Slowest were:

304.0ms
(- (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.re y.re)))
168.0ms
(+ (* (* y.re y.re) (* y.re y.re)) (- (* (* y.im y.im) (* y.im y.im)) (* (* y.re y.re) (* y.im y.im))))
145.0ms
(/ (* (* (+ (* x.im y.im) (* x.re y.re)) (+ (* x.im y.im) (* x.re y.re))) (+ (* x.im y.im) (* x.re y.re))) (* (* (+ (* y.re y.re) (* y.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (+ (* y.re y.re) (* y.im y.im))))

prune635.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 28.6b

localize18.0ms

Local error

Found 4 expressions with local error:

30.5b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
30.5b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
18.1b
(/ (+ (* x.im y.im) (* x.re y.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
0.4b
(+ (* x.im y.im) (* x.re y.re))

rewrite37.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

20.0ms
(/ (+ (* x.im y.im) (* x.re y.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
6.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))
4.0ms
(+ (* x.im y.im) (* x.re y.re))

series184.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

97.0ms
(/ (+ (* x.im y.im) (* x.re y.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
41.0ms
(+ (* x.im y.im) (* x.re y.re))
26.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

simplify1.4s

Counts
75 → 94
Calls

75 calls. Slowest were:

242.0ms
(- (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.re y.re)))
191.0ms
(sqrt (- (* (* y.re y.re) (* y.re y.re)) (* (* y.im y.im) (* y.im y.im))))
125.0ms
(sqrt (+ (* (* y.re y.re) (* y.re y.re)) (- (* (* y.im y.im) (* y.im y.im)) (* (* y.re y.re) (* y.im y.im)))))

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 24.7b

localize21.0ms

Local error

Found 2 expressions with local error:

29.0b
(/ (+ (* y.im x.im) (* y.re x.re)) (+ (* y.re y.re) (* y.im y.im)))
0.4b
(+ (* y.im x.im) (* y.re x.re))

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
2 → 42
Calls

2 calls. Slowest were:

19.0ms
(/ (+ (* y.im x.im) (* y.re x.re)) (+ (* y.re y.re) (* y.im y.im)))
4.0ms
(+ (* y.im x.im) (* y.re x.re))

series90.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

66.0ms
(/ (+ (* y.im x.im) (* y.re x.re)) (+ (* y.re y.re) (* y.im y.im)))
24.0ms
(+ (* y.im x.im) (* y.re x.re))

simplify994.0ms

Counts
36 → 48
Calls

36 calls. Slowest were:

245.0ms
(- (* (* y.im x.im) (* y.im x.im)) (* (* y.re x.re) (* y.re x.re)))
205.0ms
(/ (* (* (+ (* y.im x.im) (* y.re x.re)) (+ (* y.im x.im) (* y.re x.re))) (+ (* y.im x.im) (* y.re x.re))) (* (* (+ (* y.re y.re) (* y.im y.im)) (+ (* y.re y.re) (* y.im y.im))) (+ (* y.re y.re) (* y.im y.im))))
146.0ms
(+ (* (* y.re y.re) (* y.re y.re)) (- (* (* y.im y.im) (* y.im y.im)) (* (* y.re y.re) (* y.im y.im))))

prune672.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 24.7b

localize18.0ms

Local error

Found 4 expressions with local error:

30.5b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
30.5b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
18.1b
(/ (+ (* y.im x.im) (* y.re x.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
0.4b
(+ (* y.im x.im) (* y.re x.re))

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

19.0ms
(/ (+ (* y.im x.im) (* y.re x.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
4.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))
4.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

series188.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

98.0ms
(/ (+ (* y.im x.im) (* y.re x.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
38.0ms
(+ (* y.im x.im) (* y.re x.re))
32.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

simplify1.3s

Counts
75 → 94
Calls

75 calls. Slowest were:

185.0ms
(- (* (* y.im x.im) (* y.im x.im)) (* (* y.re x.re) (* y.re x.re)))
163.0ms
(sqrt (- (* (* y.re y.re) (* y.re y.re)) (* (* y.im y.im) (* y.im y.im))))
132.0ms
(sqrt (+ (* (* y.re y.re) (* y.re y.re)) (- (* (* y.im y.im) (* y.im y.im)) (* (* y.re y.re) (* y.im y.im)))))

prune1.3s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 24.7b

regimes427.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x.re x.im y.re y.im)
  :name "_divideComplex, real part"
  (/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im))))

Backtrace

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