Error in 17.0s

Runtime

Time bar (total: 17.0s)Debug log

start213.0ms

Algorithm
intervals

setup148.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.4b

localize16.0ms

Local error

Found 3 expressions with local error:

0.4b
(- (hypot re im) re)
0.0b
(hypot re im)
0.0b
(sqrt (* (- (hypot re im) re) 2.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
3 → 39
Calls

3 calls. Slowest were:

5.0ms
(- (hypot re im) re)
3.0ms
(sqrt (* (- (hypot re im) re) 2.0))
0.0ms
(hypot re im)

series647.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

476.0ms
(- (hypot re im) re)
130.0ms
(sqrt (* (- (hypot re im) re) 2.0))
40.0ms
(hypot re im)

simplify363.0ms

Counts
14 → 48
Calls

14 calls. Slowest were:

270.0ms
(sqrt (* (- (* (hypot re im) (hypot re im)) (* re re)) 2.0))
70.0ms
(sqrt (* (- (pow (hypot re im) 3) (pow re 3)) 2.0))
3.0ms
(sqrt (- (hypot re im) re))

prune584.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 14.2b

localize15.0ms

Local error

Found 4 expressions with local error:

10.6b
(- (* (sqrt (hypot re im)) (sqrt (hypot re im))) re)
0.5b
(* (sqrt (hypot re im)) (sqrt (hypot re im)))
0.0b
(sqrt (hypot re im))
0.0b
(sqrt (hypot re im))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
4 → 74
Calls

4 calls. Slowest were:

7.0ms
(- (* (sqrt (hypot re im)) (sqrt (hypot re im))) re)
5.0ms
(* (sqrt (hypot re im)) (sqrt (hypot re im)))
1.0ms
(sqrt (hypot re im))

series180.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

55.0ms
(sqrt (hypot re im))
49.0ms
(sqrt (hypot re im))
44.0ms
(* (sqrt (hypot re im)) (sqrt (hypot re im)))

simplify115.0ms

Counts
42 → 86
Calls

42 calls. Slowest were:

39.0ms
(* (* (* (sqrt (hypot re im)) (sqrt (hypot re im))) (sqrt (hypot re im))) (* (* (sqrt (hypot re im)) (sqrt (hypot re im))) (sqrt (hypot re im))))
4.0ms
(sqrt (* (cbrt (hypot re im)) (cbrt (hypot re im))))
4.0ms
(sqrt (* (cbrt (hypot re im)) (cbrt (hypot re im))))

prune1.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 14.2b

localize22.0ms

Local error

Found 4 expressions with local error:

8.4b
(- (* (* (fabs (cbrt (hypot re im))) (sqrt (cbrt (hypot re im)))) (sqrt (hypot re im))) re)
0.5b
(cbrt (hypot re im))
0.5b
(cbrt (hypot re im))
0.5b
(* (* (fabs (cbrt (hypot re im))) (sqrt (cbrt (hypot re im)))) (sqrt (hypot re im)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 63
Calls

4 calls. Slowest were:

24.0ms
(* (* (fabs (cbrt (hypot re im))) (sqrt (cbrt (hypot re im)))) (sqrt (hypot re im)))
17.0ms
(- (* (* (fabs (cbrt (hypot re im))) (sqrt (cbrt (hypot re im)))) (sqrt (hypot re im))) re)
1.0ms
(cbrt (hypot re im))

series462.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

169.0ms
(* (* (fabs (cbrt (hypot re im))) (sqrt (cbrt (hypot re im)))) (sqrt (hypot re im)))
107.0ms
(- (* (* (fabs (cbrt (hypot re im))) (sqrt (cbrt (hypot re im)))) (sqrt (hypot re im))) re)
101.0ms
(cbrt (hypot re im))

simplify1.4s

Counts
32 → 75
Calls

32 calls. Slowest were:

497.0ms
(- (+ (* 1/3 (* (* (pow re 2) (fabs (pow (hypot re im) 1/3))) (pow (/ 1 (pow im 4)) 1/3))) (* (fabs (pow (hypot re im) 1/3)) (pow (pow im 2) 1/3))) re)
272.0ms
(* (* (* (* (fabs (cbrt (hypot re im))) (fabs (cbrt (hypot re im)))) (fabs (cbrt (hypot re im)))) (* (* (sqrt (cbrt (hypot re im))) (sqrt (cbrt (hypot re im)))) (sqrt (cbrt (hypot re im))))) (* (* (sqrt (hypot re im)) (sqrt (hypot re im))) (sqrt (hypot re im))))
248.0ms
(+ (* 1/3 (* (* (pow re 2) (fabs (pow (hypot re im) 1/3))) (pow (/ 1 (pow im 4)) 1/3))) (* (fabs (pow (hypot re im) 1/3)) (pow (pow im 2) 1/3)))

prune1.3s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 14.2b

localize20.0ms

Local error

Found 4 expressions with local error:

11.6b
(- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re)
0.5b
(cbrt (hypot re im))
0.5b
(cbrt (hypot re im))
0.5b
(cbrt (hypot re im))

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

29.0ms
(- (* (* (cbrt (hypot re im)) (cbrt (hypot re im))) (cbrt (hypot re im))) re)
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))

series384.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

119.0ms
(cbrt (hypot re im))
107.0ms
(cbrt (hypot re im))
105.0ms
(cbrt (hypot re im))

simplify118.0ms

Counts
22 → 65
Calls

22 calls. Slowest were:

32.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
26.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))
24.0ms
(+ (* 1/6 (* (pow re 2) (pow (/ 1 (pow im 5)) 1/3))) (pow im 1/3))

prune976.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 14.2b

regimes215.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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: 13.335446670334782 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