Error in 24.2s

Runtime

Time bar (total: 24.2s)Debug logProfile

start117.0ms

Algorithm
intervals

setup25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize36.0ms

Local error

Found 2 expressions with local error:

29.0b
(/ (fma x.re y.re (* x.im y.im)) (fma y.im y.im (* y.re y.re)))
0.5b
(fma x.re y.re (* x.im y.im))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
2 → 39
Calls

2 calls. Slowest were:

7.0ms
(/ (fma x.re y.re (* x.im y.im)) (fma y.im y.im (* y.re y.re)))
0.0ms
(fma x.re y.re (* x.im y.im))

series156.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

110.0ms
(/ (fma x.re y.re (* x.im y.im)) (fma y.im y.im (* y.re y.re)))
46.0ms
(fma x.re y.re (* x.im y.im))

simplify617.0ms

Counts
31 → 45
Calls

31 calls. Slowest were:

240.0ms
(/ (* (* (fma x.re y.re (* x.im y.im)) (fma x.re y.re (* x.im y.im))) (fma x.re y.re (* x.im y.im))) (* (* (fma y.im y.im (* y.re y.re)) (fma y.im y.im (* y.re y.re))) (fma y.im y.im (* y.re y.re))))
45.0ms
(/ (* (cbrt (fma x.re y.re (* x.im y.im))) (cbrt (fma x.re y.re (* x.im y.im)))) (* (cbrt (fma y.im y.im (* y.re y.re))) (cbrt (fma y.im y.im (* y.re y.re)))))
31.0ms
(/ (* (cbrt (fma x.re y.re (* x.im y.im))) (cbrt (fma x.re y.re (* x.im y.im)))) 1)

prune537.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.5b

localize35.0ms

Local error

Found 3 expressions with local error:

18.1b
(/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re))
0.3b
(* (/ 1 (hypot y.im y.re)) (/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re)))
0.0b
(fma y.im x.im (* x.re y.re))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
3 → 76
Calls

3 calls. Slowest were:

12.0ms
(* (/ 1 (hypot y.im y.re)) (/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re)))
8.0ms
(/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re))
0.0ms
(fma y.im x.im (* x.re y.re))

series259.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

128.0ms
(* (/ 1 (hypot y.im y.re)) (/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re)))
88.0ms
(/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re))
44.0ms
(fma y.im x.im (* x.re y.re))

simplify2.0s

Counts
60 → 85
Calls

60 calls. Slowest were:

657.0ms
(* (* (* (/ 1 (hypot y.im y.re)) (/ 1 (hypot y.im y.re))) (/ 1 (hypot y.im y.re))) (* (* (/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re)) (/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re))) (/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re))))
264.0ms
(* (/ 1 (hypot y.im y.re)) (/ (fma y.im x.im (* x.re y.re)) (hypot y.im y.re)))
181.0ms
(/ (* (* (fma y.im x.im (* x.re y.re)) (fma y.im x.im (* x.re y.re))) (fma y.im x.im (* x.re y.re))) (* (* (hypot y.im y.re) (hypot y.im y.re)) (hypot y.im y.re)))

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.1b

localize9.0ms

Local error

Found 3 expressions with local error:

18.1b
(/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re))
0.5b
(fma y.re x.re (* x.im y.im))
0.0b
(/ (/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re)) (hypot y.im y.re))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
3 → 111
Calls

3 calls. Slowest were:

6.0ms
(/ (/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re)) (hypot y.im y.re))
3.0ms
(/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re))
0.0ms
(fma y.re x.re (* x.im y.im))

series204.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

94.0ms
(/ (/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re)) (hypot y.im y.re))
71.0ms
(/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re))
39.0ms
(fma y.re x.re (* x.im y.im))

simplify3.5s

Counts
132 → 120
Calls

132 calls. Slowest were:

421.0ms
(/ (/ (* (* (fma y.re x.re (* x.im y.im)) (fma y.re x.re (* x.im y.im))) (fma y.re x.re (* x.im y.im))) (* (* (hypot y.im y.re) (hypot y.im y.re)) (hypot y.im y.re))) (* (* (hypot y.im y.re) (hypot y.im y.re)) (hypot y.im y.re)))
283.0ms
(/ (/ (* (cbrt (fma y.re x.re (* x.im y.im))) (cbrt (fma y.re x.re (* x.im y.im)))) (* (cbrt (hypot y.im y.re)) (cbrt (hypot y.im y.re)))) 1)
258.0ms
(/ (* (* (/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re)) (/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re))) (/ (fma y.re x.re (* x.im y.im)) (hypot y.im y.re))) (* (* (hypot y.im y.re) (hypot y.im y.re)) (hypot y.im y.re)))

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.6b

localize15.0ms

Local error

Found 4 expressions with local error:

18.2b
(/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))
0.5b
(fma y.re x.re (* x.im y.im))
0.2b
(/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im))))
0.0b
(/ (/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))) (hypot y.im y.re))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 109
Calls

4 calls. Slowest were:

4.0ms
(/ (/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))) (hypot y.im y.re))
3.0ms
(/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))
1.0ms
(/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im))))

series271.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

98.0ms
(/ (/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))) (hypot y.im y.re))
89.0ms
(/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im))))
58.0ms
(/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))

simplify6.1s

Counts
92 → 121
Calls

92 calls. Slowest were:

893.0ms
(/ (/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))) (sqrt (hypot y.im y.re)))
495.0ms
(/ (/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))) (cbrt (hypot y.im y.re)))
474.0ms
(/ (/ 1 (/ (hypot y.im y.re) (fma y.re x.re (* x.im y.im)))) (cbrt (hypot y.im y.re)))

prune1.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.5b

regimes394.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(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: 12.560931440325021 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