Error in 17.4s

Runtime

Time bar (total: 17.4s)Debug log

start81.0ms

Algorithm
intervals

setup27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.7b

localize94.0ms

Local error

Found 3 expressions with local error:

19.6b
(/ (+ (* x.im y.im) (* x.re y.re)) (+ (* y.re y.re) (* y.im y.im)))
0.3b
(+ (* x.im y.im) (* x.re y.re))
0.0b
(+ (* y.re y.re) (* y.im y.im))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
3 → 53
Calls

3 calls. Slowest were:

17.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))
4.0ms
(+ (* y.re y.re) (* y.im y.im))

series142.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

91.0ms
(/ (+ (* x.im y.im) (* x.re y.re)) (+ (* y.re y.re) (* y.im y.im)))
36.0ms
(+ (* x.im y.im) (* x.re y.re))
15.0ms
(+ (* y.re y.re) (* y.im y.im))

simplify917.0ms

Counts
40 → 62
Calls

40 calls. Slowest were:

181.0ms
(- (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.re y.re)))
177.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))))
147.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))))

prune674.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 19.3b

localize10.0ms

Local error

Found 4 expressions with local error:

24.7b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
24.7b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
12.0b
(/ (+ (* x.im y.im) (* x.re y.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
0.3b
(+ (* x.im y.im) (* x.re y.re))

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

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

series163.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

87.0ms
(/ (+ (* x.im y.im) (* x.re y.re)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
36.0ms
(+ (* x.im y.im) (* x.re y.re))
21.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

simplify1.4s

Counts
75 → 94
Calls

75 calls. Slowest were:

171.0ms
(- (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.re y.re)))
167.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)))))
151.0ms
(sqrt (- (* (* y.re y.re) (* y.re y.re)) (* (* y.im y.im) (* y.im y.im))))

prune1.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 17.8b

localize19.0ms

Local error

Found 4 expressions with local error:

24.7b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
24.7b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
12.1b
(* (+ (* x.im y.im) (* x.re y.re)) (/ 1 (sqrt (+ (* y.re y.re) (* y.im y.im)))))
0.3b
(+ (* x.im y.im) (* x.re y.re))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

6.0ms
(* (+ (* x.im y.im) (* x.re y.re)) (/ 1 (sqrt (+ (* y.re y.re) (* y.im y.im)))))
2.0ms
(+ (* x.im y.im) (* x.re y.re))
2.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

series153.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

75.0ms
(* (+ (* x.im y.im) (* x.re y.re)) (/ 1 (sqrt (+ (* y.re y.re) (* y.im y.im)))))
40.0ms
(+ (* x.im y.im) (* x.re y.re))
20.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

simplify2.2s

Counts
45 → 78
Calls

45 calls. Slowest were:

417.0ms
(* (- (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.re y.re))) 1)
352.0ms
(* (+ (pow (* x.im y.im) 3) (pow (* x.re y.re) 3)) 1)
166.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.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 17.8b

localize10.0ms

Local error

Found 4 expressions with local error:

19.3b
(* (+ (* x.im y.im) (* x.re y.re)) (/ 1 (+ (* y.re y.re) (* y.im y.im))))
0.4b
(/ 1 (+ (* y.re y.re) (* y.im y.im)))
0.3b
(+ (* x.im y.im) (* x.re y.re))
0.0b
(+ (* y.re y.re) (* y.im y.im))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 67
Calls

4 calls. Slowest were:

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

series171.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

78.0ms
(* (+ (* x.im y.im) (* x.re y.re)) (/ 1 (+ (* y.re y.re) (* y.im y.im))))
39.0ms
(+ (* x.im y.im) (* x.re y.re))
28.0ms
(/ 1 (+ (* y.re y.re) (* y.im y.im)))

simplify2.5s

Counts
40 → 79
Calls

40 calls. Slowest were:

514.0ms
(* (- (* (* x.im y.im) (* x.im y.im)) (* (* x.re y.re) (* x.re y.re))) 1)
459.0ms
(* (+ (* (* x.im y.im) (* x.im y.im)) (- (* (* x.re y.re) (* x.re y.re)) (* (* x.im y.im) (* x.re y.re)))) (+ (* y.re y.re) (* y.im y.im)))
317.0ms
(* (+ (pow (* x.im y.im) 3) (pow (* x.re y.re) 3)) 1)

prune953.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 17.8b

regimes312.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.2090175015389 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