Error in 20.1s

Runtime

Time bar (total: 20.1s)Debug log

start79.0ms

Algorithm
intervals

setup21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.7b

localize458.0ms

Local error

Found 3 expressions with local error:

19.6b
(/ (fma a c (* b d)) (fma d d (* c c)))
0.0b
(fma a c (* b d))
0.0b
(fma d d (* c c))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
3 → 49
Calls

3 calls. Slowest were:

7.0ms
(/ (fma a c (* b d)) (fma d d (* c c)))
0.0ms
(fma a c (* b d))
0.0ms
(fma d d (* c c))

series166.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

103.0ms
(/ (fma a c (* b d)) (fma d d (* c c)))
37.0ms
(fma a c (* b d))
25.0ms
(fma d d (* c c))

simplify584.0ms

Counts
34 → 58
Calls

34 calls. Slowest were:

200.0ms
(/ (* (* (fma a c (* b d)) (fma a c (* b d))) (fma a c (* b d))) (* (* (fma d d (* c c)) (fma d d (* c c))) (fma d d (* c c))))
25.0ms
(/ (* (cbrt (fma a c (* b d))) (cbrt (fma a c (* b d)))) (* (cbrt (fma d d (* c c))) (cbrt (fma d d (* c c)))))
24.0ms
(/ (cbrt (fma a c (* b d))) (cbrt (fma d d (* c c))))

prune659.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 12.3b

localize40.0ms

Local error

Found 4 expressions with local error:

12.0b
(/ (fma d b (* a c)) (hypot d c))
0.2b
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
0.2b
(fma d b (* a c))
0.0b
(/ 1 (hypot d c))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

7.0ms
(/ (fma d b (* a c)) (hypot d c))
7.0ms
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
1.0ms
(/ 1 (hypot d c))

series295.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

126.0ms
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
79.0ms
(/ (fma d b (* a c)) (hypot d c))
49.0ms
(fma d b (* a c))

simplify2.1s

Counts
67 → 106
Calls

67 calls. Slowest were:

639.0ms
(* (* (* (/ 1 (hypot d c)) (/ 1 (hypot d c))) (/ 1 (hypot d c))) (* (* (/ (fma d b (* a c)) (hypot d c)) (/ (fma d b (* a c)) (hypot d c))) (/ (fma d b (* a c)) (hypot d c))))
348.0ms
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
175.0ms
(/ (* (* (fma d b (* a c)) (fma d b (* a c))) (fma d b (* a c))) (* (* (hypot d c) (hypot d c)) (hypot d c)))

prune1.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 5.3b

localize23.0ms

Local error

Found 4 expressions with local error:

12.0b
(/ (fma c a (* b d)) (hypot d c))
0.1b
(/ (/ (fma c a (* b d)) (hypot d c)) (hypot d c))
0.0b
(fma c a (* b d))
0.0b
(hypot d c)

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
4 → 121
Calls

4 calls. Slowest were:

13.0ms
(/ (/ (fma c a (* b d)) (hypot d c)) (hypot d c))
7.0ms
(/ (fma c a (* b d)) (hypot d c))
0.0ms
(fma c a (* b d))

series246.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

92.0ms
(/ (fma c a (* b d)) (hypot d c))
92.0ms
(/ (/ (fma c a (* b d)) (hypot d c)) (hypot d c))
35.0ms
(hypot d c)

simplify3.2s

Counts
135 → 133
Calls

135 calls. Slowest were:

414.0ms
(/ (/ (* (* (fma c a (* b d)) (fma c a (* b d))) (fma c a (* b d))) (* (* (hypot d c) (hypot d c)) (hypot d c))) (* (* (hypot d c) (hypot d c)) (hypot d c)))
297.0ms
(/ (* (* (/ (fma c a (* b d)) (hypot d c)) (/ (fma c a (* b d)) (hypot d c))) (/ (fma c a (* b d)) (hypot d c))) (* (* (hypot d c) (hypot d c)) (hypot d c)))
226.0ms
(/ (* (* (fma c a (* b d)) (fma c a (* b d))) (fma c a (* b d))) (* (* (hypot d c) (hypot d c)) (hypot d c)))

prune1.6s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 2.5b

localize11.0ms

Local error

Found 4 expressions with local error:

12.1b
(* (fma c a (* b d)) (/ 1 (hypot d c)))
0.1b
(/ (* (fma c a (* b d)) (/ 1 (hypot d c))) (hypot d c))
0.0b
(/ 1 (hypot d c))
0.0b
(fma c a (* b d))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 77
Calls

4 calls. Slowest were:

8.0ms
(/ (* (fma c a (* b d)) (/ 1 (hypot d c))) (hypot d c))
6.0ms
(* (fma c a (* b d)) (/ 1 (hypot d c)))
1.0ms
(/ 1 (hypot d c))

series234.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

87.0ms
(* (fma c a (* b d)) (/ 1 (hypot d c)))
78.0ms
(/ (* (fma c a (* b d)) (/ 1 (hypot d c))) (hypot d c))
40.0ms
(/ 1 (hypot d c))

simplify1.4s

Counts
45 → 89
Calls

45 calls. Slowest were:

409.0ms
(* (* (* (fma c a (* b d)) (fma c a (* b d))) (fma c a (* b d))) (* (* (/ 1 (hypot d c)) (/ 1 (hypot d c))) (/ 1 (hypot d c))))
230.0ms
(- (log (* (fma c a (* b d)) (/ 1 (hypot d c)))) (log (hypot d c)))
158.0ms
(/ (* (* (* (fma c a (* b d)) (/ 1 (hypot d c))) (* (fma c a (* b d)) (/ 1 (hypot d c)))) (* (fma c a (* b d)) (/ 1 (hypot d c)))) (* (* (hypot d c) (hypot d c)) (hypot d c)))

prune1.1s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 2.5b

regimes489.0ms

Please include this information when filing a bug report:

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

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

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

Backtrace

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