Error in 17.8s

Runtime

Time bar (total: 17.8s)Debug log

start95.0ms

Algorithm
intervals

setup29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.7b

localize80.0ms

Local error

Found 3 expressions with local error:

19.6b
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))
0.3b
(+ (* a c) (* b d))
0.0b
(+ (* c c) (* d d))

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
3 → 53
Calls

3 calls. Slowest were:

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

series131.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

78.0ms
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))
35.0ms
(+ (* a c) (* b d))
19.0ms
(+ (* c c) (* d d))

simplify1.0s

Counts
40 → 62
Calls

40 calls. Slowest were:

279.0ms
(- (* (* a c) (* a c)) (* (* b d) (* b d)))
185.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))))
151.0ms
(+ (pow (* a c) 3) (pow (* b d) 3))

prune783.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 19.3b

localize17.0ms

Local error

Found 4 expressions with local error:

24.7b
(sqrt (+ (* c c) (* d d)))
24.7b
(sqrt (+ (* c c) (* d d)))
12.0b
(/ (+ (* a c) (* b d)) (sqrt (+ (* c c) (* d d))))
0.3b
(+ (* a c) (* b d))

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

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

series195.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

101.0ms
(/ (+ (* a c) (* b d)) (sqrt (+ (* c c) (* d d))))
37.0ms
(+ (* a c) (* b d))
31.0ms
(sqrt (+ (* c c) (* d d)))

simplify1.5s

Counts
75 → 94
Calls

75 calls. Slowest were:

266.0ms
(- (* (* a c) (* a c)) (* (* b d) (* b d)))
216.0ms
(sqrt (+ (* (* c c) (* c c)) (- (* (* d d) (* d d)) (* (* c c) (* d d)))))
149.0ms
(+ (pow (* a c) 3) (pow (* b d) 3))

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 17.3b

localize24.0ms

Local error

Found 4 expressions with local error:

24.7b
(sqrt (+ (* c c) (* d d)))
24.7b
(sqrt (+ (* c c) (* d d)))
12.1b
(* (+ (* a c) (* b d)) (/ 1 (sqrt (+ (* c c) (* d d)))))
0.3b
(+ (* a c) (* b d))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

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

series175.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

86.0ms
(* (+ (* a c) (* b d)) (/ 1 (sqrt (+ (* c c) (* d d)))))
32.0ms
(sqrt (+ (* c c) (* d d)))
32.0ms
(+ (* a c) (* b d))

simplify2.3s

Counts
45 → 78
Calls

45 calls. Slowest were:

458.0ms
(* (- (* (* a c) (* a c)) (* (* b d) (* b d))) 1)
346.0ms
(* (+ (pow (* a c) 3) (pow (* b d) 3)) 1)
185.0ms
(* (+ (* (* a c) (* a c)) (- (* (* b d) (* b d)) (* (* a c) (* b d)))) (sqrt (+ (* c c) (* d d))))

prune1.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 17.3b

localize12.0ms

Local error

Found 4 expressions with local error:

19.3b
(* (+ (* a c) (* b d)) (/ 1 (+ (* c c) (* d d))))
0.4b
(/ 1 (+ (* c c) (* d d)))
0.3b
(+ (* a c) (* b d))
0.0b
(+ (* c c) (* d d))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 67
Calls

4 calls. Slowest were:

12.0ms
(* (+ (* a c) (* b d)) (/ 1 (+ (* c c) (* d d))))
4.0ms
(+ (* a c) (* b d))
3.0ms
(/ 1 (+ (* c c) (* d d)))

series149.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

70.0ms
(* (+ (* a c) (* b d)) (/ 1 (+ (* c c) (* d d))))
37.0ms
(+ (* a c) (* b d))
24.0ms
(+ (* c c) (* d d))

simplify2.5s

Counts
40 → 79
Calls

40 calls. Slowest were:

375.0ms
(* (- (* (* a c) (* a c)) (* (* b d) (* b d))) 1)
351.0ms
(* (+ (* (* a c) (* a c)) (- (* (* b d) (* b d)) (* (* a c) (* b d)))) (+ (* c c) (* d d)))
300.0ms
(* (+ (pow (* a c) 3) (pow (* b d) 3)) 1)

prune925.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 17.3b

regimes393.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.2090175015389 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