Error in 19.5s

Runtime

Time bar (total: 19.5s)Debug log

start256.0ms

Algorithm
intervals

setup511.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.7b

localize43.0ms

Local error

Found 4 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
0.4b
(- (sqrt (+ (* re re) (* im im))) re)
0.0b
(+ (* re re) (* im im))
0.0b
(sqrt (* (- (sqrt (+ (* re re) (* im im))) re) 2.0))

rewrite54.0ms

Algorithm
rewrite-expression-head
Counts
4 → 47
Calls

4 calls. Slowest were:

23.0ms
(sqrt (* (- (sqrt (+ (* re re) (* im im))) re) 2.0))
18.0ms
(- (sqrt (+ (* re re) (* im im))) re)
5.0ms
(sqrt (+ (* re re) (* im im)))

series235.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

141.0ms
(sqrt (* (- (sqrt (+ (* re re) (* im im))) re) 2.0))
37.0ms
(- (sqrt (+ (* re re) (* im im))) re)
32.0ms
(sqrt (+ (* re re) (* im im)))

simplify845.0ms

Counts
22 → 59
Calls

22 calls. Slowest were:

380.0ms
(sqrt (* (- (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* re re)) 2.0))
185.0ms
(sqrt (* (- (pow (sqrt (+ (* re re) (* im im))) 3) (pow re 3)) 2.0))
167.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune674.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 15.6b

localize13.0ms

Local error

Found 4 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
0.4b
(- (sqrt (+ (* re re) (* im im))) re)
0.0b
(+ (* re re) (* im im))
0.0b
(sqrt (* (- (sqrt (+ (* re re) (* im im))) re) 2.0))

rewrite44.0ms

Algorithm
rewrite-expression-head
Counts
4 → 47
Calls

4 calls. Slowest were:

20.0ms
(- (sqrt (+ (* re re) (* im im))) re)
14.0ms
(sqrt (* (- (sqrt (+ (* re re) (* im im))) re) 2.0))
4.0ms
(+ (* re re) (* im im))

series178.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

103.0ms
(sqrt (* (- (sqrt (+ (* re re) (* im im))) re) 2.0))
31.0ms
(- (sqrt (+ (* re re) (* im im))) re)
23.0ms
(+ (* re re) (* im im))

simplify718.0ms

Counts
22 → 59
Calls

22 calls. Slowest were:

281.0ms
(sqrt (* (- (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* re re)) 2.0))
224.0ms
(sqrt (* (- (pow (sqrt (+ (* re re) (* im im))) 3) (pow re 3)) 2.0))
110.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune818.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 15.6b

localize34.0ms

Local error

Found 4 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
27.3b
(sqrt (+ (* re re) (* im im)))
10.6b
(- (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
0.5b
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

11.0ms
(- (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
10.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
4.0ms
(sqrt (+ (* re re) (* im im)))

series84.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

24.0ms
(- (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
22.0ms
(sqrt (+ (* re re) (* im im)))
19.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))

simplify2.1s

Counts
64 → 95
Calls

64 calls. Slowest were:

207.0ms
(* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (- (* re re) (* im im)))))
203.0ms
(* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))))
197.0ms
(sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))

prune1.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 15.6b

localize46.0ms

Local error

Found 4 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
27.3b
(sqrt (+ (* re re) (* im im)))
16.2b
(- (* (sqrt (exp (log (sqrt (+ (* re re) (* im im)))))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
5.6b
(exp (log (sqrt (+ (* re re) (* im im)))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 60
Calls

4 calls. Slowest were:

28.0ms
(- (* (sqrt (exp (log (sqrt (+ (* re re) (* im im)))))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
6.0ms
(exp (log (sqrt (+ (* re re) (* im im)))))
4.0ms
(sqrt (+ (* re re) (* im im)))

series118.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

37.0ms
(- (* (sqrt (exp (log (sqrt (+ (* re re) (* im im)))))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
31.0ms
(sqrt (+ (* re re) (* im im)))
30.0ms
(exp (log (sqrt (+ (* re re) (* im im)))))

simplify721.0ms

Counts
38 → 72
Calls

38 calls. Slowest were:

157.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
155.0ms
(exp (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))
136.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 15.6b

regimes522.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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: 25.621118886727448 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