Error in 23.3s

Runtime

Time bar (total: 23.3s)Debug logProfile

start154.0ms

Algorithm
intervals

setup36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize32.0ms

Local error

Found 2 expressions with local error:

29.0b
(/ (fma a c (* b d)) (fma d d (* c c)))
0.5b
(fma a c (* b d))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
2 → 39
Calls

2 calls. Slowest were:

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

series133.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

90.0ms
(/ (fma a c (* b d)) (fma d d (* c c)))
43.0ms
(fma a c (* b d))

simplify580.0ms

Counts
31 → 45
Calls

31 calls. Slowest were:

223.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))))
35.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)))))
23.0ms
(/ (sqrt (fma a c (* b d))) (* (cbrt (fma d d (* c c))) (cbrt (fma d d (* c c)))))

prune599.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.5b

localize16.0ms

Local error

Found 3 expressions with local error:

18.1b
(/ (fma d b (* a c)) (hypot d c))
0.3b
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
0.0b
(fma d b (* a c))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
3 → 76
Calls

3 calls. Slowest were:

5.0ms
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
3.0ms
(/ (fma d b (* a c)) (hypot d c))
0.0ms
(fma d b (* a c))

series284.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

164.0ms
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
78.0ms
(/ (fma d b (* a c)) (hypot d c))
42.0ms
(fma d b (* a c))

simplify2.4s

Counts
60 → 85
Calls

60 calls. Slowest were:

966.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))))
351.0ms
(* (/ 1 (hypot d c)) (/ (fma d b (* a c)) (hypot d c)))
154.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.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.1b

localize19.0ms

Local error

Found 3 expressions with local error:

18.1b
(/ (fma c a (* b d)) (hypot d c))
0.5b
(fma c a (* b d))
0.0b
(/ (/ (fma c a (* b d)) (hypot d c)) (hypot d c))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
3 → 111
Calls

3 calls. Slowest were:

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

series204.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

94.0ms
(/ (/ (fma c a (* b d)) (hypot d c)) (hypot d c))
72.0ms
(/ (fma c a (* b d)) (hypot d c))
37.0ms
(fma c a (* b d))

simplify3.4s

Counts
132 → 120
Calls

132 calls. Slowest were:

439.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)))
301.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)))
272.0ms
(/ (/ (* (cbrt (fma c a (* b d))) (cbrt (fma c a (* b d)))) (* (cbrt (hypot d c)) (cbrt (hypot d c)))) 1)

prune1.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.6b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 109
Calls

4 calls. Slowest were:

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

series312.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

114.0ms
(/ 1 (/ (hypot d c) (fma c a (* b d))))
111.0ms
(/ (/ 1 (/ (hypot d c) (fma c a (* b d)))) (hypot d c))
59.0ms
(/ (hypot d c) (fma c a (* b d)))

simplify5.8s

Counts
92 → 121
Calls

92 calls. Slowest were:

495.0ms
(/ (/ 1 (/ (hypot d c) (fma c a (* b d)))) (sqrt (hypot d c)))
493.0ms
(/ (/ 1 (/ (hypot d c) (fma c a (* b d)))) (sqrt (hypot d c)))
477.0ms
(/ (/ 1 (/ (hypot d c) (fma c a (* b d)))) (cbrt (hypot d c)))

prune1.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.5b

regimes370.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, 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.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