Error in 21.1s

Runtime

Time bar (total: 21.1s)Debug logProfile

start191.0ms

Algorithm
intervals

setup78.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.4b

localize35.0ms

Local error

Found 2 expressions with local error:

29.3b
(sqrt (+ (* re re) (* im im)))
1.1b
(+ (sqrt (+ (* re re) (* im im))) re)

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
2 → 24
Calls

2 calls. Slowest were:

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

series65.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

43.0ms
(+ (sqrt (+ (* re re) (* im im))) re)
22.0ms
(sqrt (+ (* re re) (* im im)))

simplify185.0ms

Counts
12 → 30
Calls

12 calls. Slowest were:

121.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
49.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
3.0ms
(sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))

prune361.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 22.8b

localize19.0ms

Local error

Found 4 expressions with local error:

30.3b
(cbrt (+ (* re re) (* im im)))
30.3b
(cbrt (+ (* re re) (* im im)))
7.6b
(+ (* (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)))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

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

series465.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

134.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
132.0ms
(cbrt (+ (* re re) (* im im)))
122.0ms
(cbrt (+ (* re re) (* im im)))

simplify1.3s

Counts
38 → 73
Calls

38 calls. Slowest were:

232.0ms
(+ re (+ (* (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)))))
222.0ms
(sqrt (cbrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))
186.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))))

prune1.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 22.7b

localize19.0ms

Local error

Found 4 expressions with local error:

29.3b
(sqrt (+ (* re re) (* im im)))
29.3b
(sqrt (+ (* re re) (* im im)))
8.1b
(+ (* (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)))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

12.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
8.0ms
(+ (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
2.0ms
(sqrt (+ (* re re) (* im im)))

series104.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify2.2s

Counts
64 → 94
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) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))))
198.0ms
(* (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (sqrt (- (* re re) (* im im)))))
189.0ms
(* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))))

prune1.5s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 22.7b

localize20.0ms

Local error

Found 4 expressions with local error:

30.3b
(cbrt (+ (* re re) (* im im)))
30.3b
(cbrt (+ (* re re) (* im im)))
29.3b
(sqrt (+ (* re re) (* im im)))
9.6b
(+ (* (sqrt (fabs (cbrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im)))))) re)

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
4 → 50
Calls

4 calls. Slowest were:

24.0ms
(+ (* (sqrt (fabs (cbrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im)))))) re)
3.0ms
(sqrt (+ (* re re) (* im im)))
1.0ms
(cbrt (+ (* re re) (* im im)))

series304.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

97.0ms
(+ (* (sqrt (fabs (cbrt (+ (* re re) (* im im))))) (* (sqrt (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (sqrt (+ (* re re) (* im im)))))) re)
95.0ms
(cbrt (+ (* re re) (* im im)))
82.0ms
(cbrt (+ (* re re) (* im im)))

simplify925.0ms

Counts
28 → 62
Calls

28 calls. Slowest were:

184.0ms
(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
156.0ms
(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
151.0ms
(+ re (+ (* 1/3 (* (pow re 2) (* (sqrt (fabs (pow (+ (pow im 2) (pow re 2)) 1/3))) (pow (/ 1 (pow im 4)) 1/3)))) (* (sqrt (fabs (pow (+ (pow im 2) (pow re 2)) 1/3))) (pow (pow im 2) 1/3))))

prune1.4s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 22.7b

regimes527.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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: 30.96549423134792 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