Error in 18.8s

Runtime

Time bar (total: 18.8s)Debug logProfile

start375.0ms

Algorithm
intervals

setup123.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.3b

localize23.0ms

Local error

Found 3 expressions with local error:

29.3b
(sqrt (+ (* re re) (* im im)))
1.2b
(- (sqrt (+ (* re re) (* im im))) re)
0.0b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
3 → 36
Calls

3 calls. Slowest were:

13.0ms
(- (sqrt (+ (* re re) (* im im))) re)
4.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))

series418.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

354.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
39.0ms
(sqrt (+ (* re re) (* im im)))
24.0ms
(- (sqrt (+ (* re re) (* im im))) re)

simplify747.0ms

Counts
18 → 45
Calls

18 calls. Slowest were:

285.0ms
(sqrt (* 2.0 (- (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* re re))))
200.0ms
(sqrt (* 2.0 (- (pow (sqrt (+ (* re re) (* im im))) 3) (pow re 3))))
162.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune618.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 18.0b

localize40.0ms

Local error

Found 4 expressions with local error:

30.3b
(cbrt (+ (* re re) (* im im)))
30.3b
(cbrt (+ (* re re) (* im im)))
6.3b
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) re)
0.2b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 62
Calls

4 calls. Slowest were:

7.0ms
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) re)
6.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
3.0ms
(cbrt (+ (* re re) (* im im)))

series445.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

157.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
103.0ms
(- (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) re)
98.0ms
(cbrt (+ (* re re) (* im im)))

simplify1.3s

Counts
38 → 74
Calls

38 calls. Slowest were:

245.0ms
(- (+ (* (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)) (pow im 1/3)) (* 1/6 (* (* (pow re 2) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3))) (pow (/ 1 (pow im 5)) 1/3)))) re)
176.0ms
(+ (* (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)) (pow im 1/3)) (* 1/6 (* (* (pow re 2) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3))) (pow (/ 1 (pow im 5)) 1/3))))
153.0ms
(sqrt (cbrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 18.0b

localize41.0ms

Local error

Found 4 expressions with local error:

30.3b
(cbrt (+ (* re re) (* im im)))
30.3b
(cbrt (+ (* re re) (* im im)))
30.3b
(cbrt (+ (* re re) (* im im)))
30.3b
(cbrt (+ (* re re) (* im im)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

1.0ms
(cbrt (+ (* re re) (* im im)))
1.0ms
(cbrt (+ (* re re) (* im im)))
1.0ms
(cbrt (+ (* re re) (* im im)))

series403.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

112.0ms
(cbrt (+ (* re re) (* im im)))
104.0ms
(cbrt (+ (* re re) (* im im)))
102.0ms
(cbrt (+ (* re re) (* im im)))

simplify847.0ms

Counts
32 → 64
Calls

32 calls. Slowest were:

155.0ms
(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
152.0ms
(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
99.0ms
(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 18.0b

localize18.0ms

Local error

Found 4 expressions with local error:

29.3b
(sqrt (+ (* re re) (* im im)))
29.3b
(sqrt (+ (* re re) (* im im)))
29.3b
(sqrt (+ (* re re) (* im im)))
9.9b
(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

51.0ms
(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)
2.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(sqrt (+ (* re re) (* im im)))

series116.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

32.0ms
(sqrt (+ (* re re) (* im im)))
32.0ms
(sqrt (+ (* re re) (* im im)))
27.0ms
(sqrt (+ (* re re) (* im im)))

simplify679.0ms

Counts
30 → 65
Calls

30 calls. Slowest were:

177.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
168.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
124.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune883.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 18.0b

regimes813.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (re im)
  :name "math.sqrt on complex, imaginary part, im greater than 0 branch"
  (* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))

Backtrace

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