Error in 23.4s

Runtime

Time bar (total: 23.4s)Debug logProfile

start96.0ms

Algorithm
intervals

setup70.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.5b

localize36.0ms

Local error

Found 1 expressions with local error:

26.5b
(/ (- (* b c) (* a d)) (fma d d (* c c)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
1 → 32
Calls

1 calls. Slowest were:

12.0ms
(/ (- (* b c) (* a d)) (fma d d (* c c)))

series93.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

93.0ms
(/ (- (* b c) (* a d)) (fma d d (* c c)))

simplify1.8s

Counts
31 → 35
Calls

31 calls. Slowest were:

559.0ms
(- (* (* b c) (* b c)) (* (* a d) (* a d)))
326.0ms
(/ (* (* (- (* b c) (* a d)) (- (* b c) (* a d))) (- (* b c) (* a d))) (* (* (fma d d (* c c)) (fma d d (* c c))) (fma d d (* c c))))
264.0ms
(- (pow (* b c) 3) (pow (* a d) 3))

prune463.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 17.5b

localize23.0ms

Local error

Found 2 expressions with local error:

17.2b
(/ (- (* b c) (* a d)) (hypot d c))
0.2b
(* (/ 1 (hypot d c)) (/ (- (* b c) (* a d)) (hypot d c)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
2 → 69
Calls

2 calls. Slowest were:

13.0ms
(* (/ 1 (hypot d c)) (/ (- (* b c) (* a d)) (hypot d c)))
12.0ms
(/ (- (* b c) (* a d)) (hypot d c))

series277.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

141.0ms
(* (/ 1 (hypot d c)) (/ (- (* b c) (* a d)) (hypot d c)))
136.0ms
(/ (- (* b c) (* a d)) (hypot d c))

simplify3.3s

Counts
60 → 75
Calls

60 calls. Slowest were:

689.0ms
(- (* (* b c) (* b c)) (* (* a d) (* a d)))
332.0ms
(* 1 (/ (- (* b c) (* a d)) (hypot d c)))
317.0ms
(- (pow (* b c) 3) (pow (* a d) 3))

prune1.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 6.1b

localize7.0ms

Local error

Found 2 expressions with local error:

17.4b
(* (/ 1 (hypot d c)) (- (* b c) (* a d)))
0.1b
(/ (* (/ 1 (hypot d c)) (- (* b c) (* a d))) (hypot d c))

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
2 → 61
Calls

2 calls. Slowest were:

19.0ms
(/ (* (/ 1 (hypot d c)) (- (* b c) (* a d))) (hypot d c))
9.0ms
(* (/ 1 (hypot d c)) (- (* b c) (* a d)))

series237.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

141.0ms
(/ (* (/ 1 (hypot d c)) (- (* b c) (* a d))) (hypot d c))
96.0ms
(* (/ 1 (hypot d c)) (- (* b c) (* a d)))

simplify5.5s

Counts
48 → 67
Calls

48 calls. Slowest were:

769.0ms
(* (- (* a d)) (/ 1 (hypot d c)))
340.0ms
(* 1 (- (* (* b c) (* b c)) (* (* a d) (* a d))))
317.0ms
(* (- (* a d)) (/ 1 (hypot d c)))

prune786.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.1b

localize17.0ms

Local error

Found 4 expressions with local error:

11.7b
(* (/ 1 (hypot d c)) (* b c))
9.6b
(* (/ (- a) (hypot d c)) d)
0.1b
(/ (+ (* (/ 1 (hypot d c)) (* b c)) (* (/ (- a) (hypot d c)) d)) (hypot d c))
0.0b
(/ (- a) (hypot d c))

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 117
Calls

4 calls. Slowest were:

24.0ms
(/ (+ (* (/ 1 (hypot d c)) (* b c)) (* (/ (- a) (hypot d c)) d)) (hypot d c))
5.0ms
(* (/ (- a) (hypot d c)) d)
5.0ms
(* (/ 1 (hypot d c)) (* b c))

series364.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

203.0ms
(/ (+ (* (/ 1 (hypot d c)) (* b c)) (* (/ (- a) (hypot d c)) d)) (hypot d c))
55.0ms
(* (/ 1 (hypot d c)) (* b c))
54.0ms
(* (/ (- a) (hypot d c)) d)

simplify4.1s

Counts
99 → 129
Calls

99 calls. Slowest were:

334.0ms
(* (* (* (/ 1 (hypot d c)) (/ 1 (hypot d c))) (/ 1 (hypot d c))) (* (* (* b c) (* b c)) (* b c)))
264.0ms
(- (* (* (/ 1 (hypot d c)) (* b c)) (* (/ 1 (hypot d c)) (* b c))) (* (* (/ (- a) (hypot d c)) d) (* (/ (- a) (hypot d c)) d)))
200.0ms
(- (log (+ (* (/ 1 (hypot d c)) (* b c)) (* (/ (- a) (hypot d c)) d))) (log (hypot d c)))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes247.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (a b c d)
  :name "Complex division, imag part"

  :herbie-target
  (if (< (fabs d) (fabs c)) (/ (- b (* a (/ d c))) (+ c (* d (/ d c)))) (/ (+ (- a) (* b (/ c d))) (+ d (* c (/ c d)))))

  (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))

Backtrace

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