Error in 19.9s

Runtime

Time bar (total: 19.9s)Debug log

start123.0ms

Algorithm
intervals

setup31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.3b

localize41.0ms

Local error

Found 3 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
0.7b
(+ (sqrt (+ (* re re) (* im im))) re)
0.0b
(+ (* re re) (* im im))

rewrite37.0ms

Algorithm
rewrite-expression-head
Counts
3 → 35
Calls

3 calls. Slowest were:

28.0ms
(+ (sqrt (+ (* re re) (* im im))) re)
4.0ms
(+ (* re re) (* im im))
3.0ms
(sqrt (+ (* re re) (* im im)))

series70.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

32.0ms
(sqrt (+ (* re re) (* im im)))
23.0ms
(+ (sqrt (+ (* re re) (* im im))) re)
15.0ms
(+ (* re re) (* im im))

simplify162.0ms

Counts
16 → 44
Calls

16 calls. Slowest were:

93.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
36.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
6.0ms
(* (exp (* re re)) (exp (* im im)))

prune659.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 18.6b

localize31.0ms

Local error

Found 4 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
27.3b
(sqrt (+ (* re re) (* im im)))
7.0b
(+ (* (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 → 82
Calls

4 calls. Slowest were:

13.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
10.0ms
(+ (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
2.0ms
(sqrt (+ (* re re) (* im im)))

series116.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

32.0ms
(sqrt (+ (* re re) (* im im)))
30.0ms
(sqrt (+ (* re re) (* im im)))
29.0ms
(+ (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)

simplify2.3s

Counts
64 → 94
Calls

64 calls. Slowest were:

258.0ms
(* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))))
194.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)))))))
192.0ms
(* (sqrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))

prune1.7s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 18.6b

localize45.0ms

Local error

Found 4 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
27.3b
(sqrt (+ (* re re) (* im im)))
27.3b
(sqrt (+ (* re re) (* im im)))
7.0b
(+ (* (fabs (cbrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (cbrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im)))))) re)

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

16.0ms
(+ (* (fabs (cbrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (cbrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im)))))) re)
2.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(sqrt (+ (* re re) (* im im)))

series179.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

89.0ms
(+ (* (fabs (cbrt (sqrt (+ (* re re) (* im im))))) (* (sqrt (cbrt (sqrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im)))))) re)
33.0ms
(sqrt (+ (* re re) (* im im)))
31.0ms
(sqrt (+ (* re re) (* im im)))

simplify879.0ms

Counts
30 → 64
Calls

30 calls. Slowest were:

255.0ms
(+ re (+ (* (pow (pow im 2) 1/3) (fabs (pow (+ (pow im 2) (pow re 2)) 1/6))) (* 1/3 (* (* (pow re 2) (fabs (pow (+ (pow im 2) (pow re 2)) 1/6))) (pow (/ 1 (pow im 4)) 1/3)))))
151.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
142.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.3s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 18.6b

localize22.0ms

Local error

Found 4 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
27.3b
(sqrt (+ (* re re) (* im im)))
27.3b
(sqrt (+ (* re re) (* im im)))
9.7b
(+ (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) re)

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

39.0ms
(+ (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) (sqrt (sqrt (sqrt (+ (* re re) (* im im)))))) re)
2.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(sqrt (+ (* re re) (* im im)))

series124.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify590.0ms

Counts
30 → 64
Calls

30 calls. Slowest were:

177.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
132.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
102.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.1s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 18.6b

regimes1.3s

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (re im)
  :name "math.sqrt on complex, real part"

  :herbie-target
  (if (< re 0) (* 0.5 (* (sqrt 2) (sqrt (/ (* im im) (- (sqrt (+ (* re re) (* im im))) re))))) (* 0.5 (sqrt (* 2.0 (+ (sqrt (+ (* re re) (* im im))) re)))))

  (* 0.5 (sqrt (* 2.0 (+ (sqrt (+ (* re re) (* im im))) re)))))

Backtrace

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