Error in 16.1s

Runtime

Time bar (total: 16.1s)Debug logProfile

start99.0ms

Algorithm
intervals

setup24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize67.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
2 → 42
Calls

2 calls. Slowest were:

22.0ms
(/ (+ (* b d) (* a c)) (+ (* c c) (* d d)))
4.0ms
(+ (* b d) (* a c))

series123.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

90.0ms
(/ (+ (* b d) (* a c)) (+ (* c c) (* d d)))
32.0ms
(+ (* b d) (* a c))

simplify910.0ms

Counts
36 → 48
Calls

36 calls. Slowest were:

245.0ms
(- (* (* b d) (* b d)) (* (* a c) (* a c)))
198.0ms
(+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d))))
142.0ms
(/ (* (* (+ (* b d) (* a c)) (+ (* b d) (* a c))) (+ (* b d) (* a c))) (* (* (+ (* c c) (* d d)) (+ (* c c) (* d d))) (+ (* c c) (* d d))))

prune643.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 28.6b

localize8.0ms

Local error

Found 4 expressions with local error:

30.5b
(sqrt (+ (* c c) (* d d)))
30.5b
(sqrt (+ (* c c) (* d d)))
18.1b
(/ (+ (* b d) (* a c)) (sqrt (+ (* c c) (* d d))))
0.4b
(+ (* b d) (* a c))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

9.0ms
(/ (+ (* b d) (* a c)) (sqrt (+ (* c c) (* d d))))
2.0ms
(+ (* b d) (* a c))
2.0ms
(sqrt (+ (* c c) (* d d)))

series173.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

91.0ms
(/ (+ (* b d) (* a c)) (sqrt (+ (* c c) (* d d))))
31.0ms
(sqrt (+ (* c c) (* d d)))
25.0ms
(sqrt (+ (* c c) (* d d)))

simplify1.4s

Counts
75 → 94
Calls

75 calls. Slowest were:

187.0ms
(- (* (* b d) (* b d)) (* (* a c) (* a c)))
187.0ms
(sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
143.0ms
(sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))

prune1.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 24.7b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
2 → 42
Calls

2 calls. Slowest were:

21.0ms
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))
4.0ms
(+ (* a c) (* b d))

series103.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

69.0ms
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))
34.0ms
(+ (* a c) (* b d))

simplify1.3s

Counts
36 → 48
Calls

36 calls. Slowest were:

460.0ms
(+ (pow (* a c) 3) (pow (* b d) 3))
294.0ms
(- (* (* a c) (* a c)) (* (* b d) (* b d)))
171.0ms
(/ (* (* (+ (* a c) (* b d)) (+ (* a c) (* b d))) (+ (* a c) (* b d))) (* (* (+ (* c c) (* d d)) (+ (* c c) (* d d))) (+ (* c c) (* d d))))

prune527.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 24.7b

localize10.0ms

Local error

Found 4 expressions with local error:

30.5b
(sqrt (+ (* c c) (* d d)))
30.5b
(sqrt (+ (* c c) (* d d)))
18.1b
(/ (+ (* a c) (* b d)) (sqrt (+ (* c c) (* d d))))
0.4b
(+ (* a c) (* b d))

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

19.0ms
(/ (+ (* a c) (* b d)) (sqrt (+ (* c c) (* d d))))
4.0ms
(+ (* a c) (* b d))
4.0ms
(sqrt (+ (* c c) (* d d)))

series191.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

109.0ms
(/ (+ (* a c) (* b d)) (sqrt (+ (* c c) (* d d))))
38.0ms
(+ (* a c) (* b d))
25.0ms
(sqrt (+ (* c c) (* d d)))

simplify1.5s

Counts
75 → 94
Calls

75 calls. Slowest were:

299.0ms
(- (* (* a c) (* a c)) (* (* b d) (* b d)))
167.0ms
(sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
165.0ms
(sqrt (- (* (* c c) (* c c)) (* (* d d) (* d d))))

prune1.4s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 24.2b

regimes541.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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: 25.00331011512212 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