Error in 4.1m

Runtime

Time bar (total: 4.1m)Debug log

start7.0s

Algorithm
intervals

setup120.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.0b

localize57.0ms

Local error

Found 4 expressions with local error:

25.3b
(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))

rewrite23.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)

series371.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

133.0ms
(/ (pow (exp y.im) (atan2 x.im x.re)) (pow (hypot x.re x.im) y.re))
123.0ms
(cos (fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re)))
94.0ms
(fma y.im (log (hypot x.re x.im)) (* (atan2 x.im x.re) y.re))

simplify1.4s

Counts
108 → 115
Calls

108 calls. Slowest were:

244.0ms
(/ (exp (* y.im (atan2 x.im x.re))) (exp (* -1 (* y.re (log (/ -1 x.im))))))
150.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)))
137.0ms
(/ (exp (* y.im (atan2 x.im x.re))) (exp (* -1 (* y.re (log (/ 1 x.im))))))

prune2.0s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

25.3b
(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
(* (log (hypot x.re x.im)) y.re)
0.2b
(* y.im (atan2 x.im x.re))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 50
Calls

4 calls. Slowest were:

3.0ms
(* (log (hypot x.re x.im)) y.re)
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)))

series237.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)))
86.0ms
(* (log (hypot x.re x.im)) y.re)
22.0ms
(* (atan2 x.im x.re) y.re)

simplify571.0ms

Counts
20 → 62
Calls

20 calls. Slowest were:

159.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)))))
126.0ms
(cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re)))))
110.0ms
(* -1 (* y.re (log (/ -1 x.re))))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

26.3b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
26.3b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
25.3b
(cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
0.3b
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
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)))
7.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)
4.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

series257.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify883.0ms

Counts
27 → 71
Calls

27 calls. Slowest were:

223.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))))
106.0ms
(cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re)))))

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes255.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.062374691769462316 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