Error in 4.1m

Runtime

Time bar (total: 4.1m)Debug logProfile

start8.4s

Algorithm
intervals

setup125.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.2b

localize63.0ms

Local error

Found 4 expressions with local error:

23.4b
(cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))
0.2b
(* (atan2 x.im x.re) y.re)
0.2b
(/ (pow (exp y.im) (atan2 x.im x.re)) (pow (hypot x.re x.im) y.re))
0.1b
(fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re))

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 103
Calls

4 calls. Slowest were:

5.0ms
(/ (pow (exp y.im) (atan2 x.im x.re)) (pow (hypot x.re x.im) y.re))
3.0ms
(cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))
2.0ms
(* (atan2 x.im x.re) y.re)

series457.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

166.0ms
(/ (pow (exp y.im) (atan2 x.im x.re)) (pow (hypot x.re x.im) y.re))
150.0ms
(fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re))
127.0ms
(cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))

simplify1.6s

Counts
108 → 115
Calls

108 calls. Slowest were:

310.0ms
(/ (exp (* y.im (atan2 x.im x.re))) (exp (* -1 (* y.re (log (/ -1 x.im))))))
171.0ms
(/ (exp (* y.im (atan2 x.im x.re))) (exp (* -1 (* y.re (log (/ 1 x.im))))))
122.0ms
(/ (* (* (pow (exp y.im) (atan2 x.im x.re)) (pow (exp y.im) (atan2 x.im x.re))) (pow (exp y.im) (atan2 x.im x.re))) (* (* (pow (hypot x.re x.im) y.re) (pow (hypot x.re x.im) y.re)) (pow (hypot x.re x.im) y.re)))

prune2.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

23.4b
(cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))
3.5b
(log (pow (hypot x.re x.im) y.re))
0.3b
(* y.im (atan2 x.im x.re))
0.2b
(* (atan2 x.im x.re) y.re)

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 55
Calls

4 calls. Slowest were:

2.0ms
(* (atan2 x.im x.re) y.re)
2.0ms
(cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))
1.0ms
(log (pow (hypot x.re x.im) y.re))

series276.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

120.0ms
(cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))
115.0ms
(log (pow (hypot x.re x.im) y.re))
21.0ms
(* y.im (atan2 x.im x.re))

simplify357.0ms

Counts
27 → 67
Calls

27 calls. Slowest were:

179.0ms
(- 1 (+ (* y.im (* (atan2 x.im x.re) (* y.re (log x.im)))) (* 1/2 (* (pow y.im 2) (pow (log x.im) 2)))))
85.0ms
(cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re)))))
22.0ms
(cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

30.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
30.1b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
23.4b
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
0.3b
(* (atan2 x.im x.re) y.im)

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

18.0ms
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
5.0ms
(* (atan2 x.im x.re) y.im)
4.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series210.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

154.0ms
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
20.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
20.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify696.0ms

Counts
27 → 69
Calls

27 calls. Slowest were:

173.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
164.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
114.0ms
(cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re)))))

prune1.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes345.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (x.re x.im y.re y.im)
  :name "powComplex, real part"
  (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))))

Backtrace

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