Error in 10.5s

Runtime

Time bar (total: 10.5s)Debug logProfile

start49.0ms

Algorithm
intervals

setup32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x.re y.re) (* x.im y.im))

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
1 → 16
Calls

1 calls. Slowest were:

4.0ms
(- (* x.re y.re) (* x.im y.im))

series43.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

43.0ms
(- (* x.re y.re) (* x.im y.im))

simplify57.0ms

Counts
6 → 19
Calls

6 calls. Slowest were:

17.0ms
(- (* y.re x.re) (* y.im x.im))
17.0ms
(/ (exp (* x.re y.re)) (exp (* x.im y.im)))
8.0ms
(- (* y.re x.re) (* y.im x.im))

prune153.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma x.re y.re (- (* x.im y.im)))

rewrite0.0ms

Algorithm
rewrite-expression-head
Counts
1 → 10
Calls

1 calls. Slowest were:

0.0ms
(fma x.re y.re (- (* x.im y.im)))

series53.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

53.0ms
(fma x.re y.re (- (* x.im y.im)))

simplify37.0ms

Counts
3 → 13
Calls

3 calls. Slowest were:

18.0ms
(- (* y.re x.re) (* y.im x.im))
17.0ms
(- (* y.re x.re) (* y.im x.im))
1.0ms
0

prune150.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

35.9b
(cbrt (* (* (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)))))
0.3b
(* (fma x.re y.re (- (* x.im y.im))) (fma x.re y.re (- (* x.im y.im))))
0.2b
(* (* (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))))
0.0b
(fma x.re y.re (- (* x.im y.im)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

17.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))))
11.0ms
(cbrt (* (* (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)))))
7.0ms
(* (fma x.re y.re (- (* x.im y.im))) (fma x.re y.re (- (* x.im y.im))))

series276.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

116.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))))
65.0ms
(* (fma x.re y.re (- (* x.im y.im))) (fma x.re y.re (- (* x.im y.im))))
47.0ms
(cbrt (* (* (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)))))

simplify5.5s

Counts
48 → 87
Calls

48 calls. Slowest were:

1.4s
(* (* (* (* (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 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 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)))))
557.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 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)))))
470.0ms
(* (- (* x.im y.im)) (fma x.re y.re (- (* x.im y.im))))

prune1.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes188.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 "_multiplyComplex, real part"
  (- (* x.re y.re) (* x.im y.im)))

Backtrace

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