Error in 6.4m

Runtime

Time bar (total: 6.4m)Debug log

start11.0s

Algorithm
intervals

setup139.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.3b

localize57.0ms

Local error

Found 4 expressions with local error:

37.5b
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
27.7b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
27.7b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
0.3b
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
4 → 49
Calls

4 calls. Slowest were:

20.0ms
(sin (+ (* (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)))

series331.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

207.0ms
(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
78.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)
23.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))

simplify630.0ms

Counts
27 → 61
Calls

27 calls. Slowest were:

161.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
129.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
67.0ms
(sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3)))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 9.4b

localize21.0ms

Local error

Found 4 expressions with local error:

37.6b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
27.7b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
0.3b
(* (log (- x.re)) y.im)
0.3b
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 47
Calls

4 calls. Slowest were:

9.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
3.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
3.0ms
(* (log (- x.re)) y.im)

series383.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

157.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
105.0ms
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
90.0ms
(* (log (- x.re)) y.im)

simplify627.0ms

Counts
23 → 59
Calls

23 calls. Slowest were:

127.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
82.0ms
(* -1 (* y.re (log (/ -1 x.re))))
72.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 4.4b

localize43.0ms

Local error

Found 4 expressions with local error:

37.6b
(sin (+ (* (* (cbrt (log (- x.re))) (cbrt (log (- x.re)))) (* (cbrt (log (- x.re))) y.im)) (* (atan2 x.im x.re) y.re)))
27.7b
(sqrt (+ (* x.re x.re) (* x.im x.im)))
0.5b
(cbrt (log (- x.re)))
0.5b
(cbrt (log (- x.re)))

rewrite90.0ms

Algorithm
rewrite-expression-head
Counts
4 → 46
Calls

4 calls. Slowest were:

83.0ms
(sin (+ (* (* (cbrt (log (- x.re))) (cbrt (log (- x.re)))) (* (cbrt (log (- x.re))) y.im)) (* (atan2 x.im x.re) y.re)))
4.0ms
(sqrt (+ (* x.re x.re) (* x.im x.im)))
1.0ms
(cbrt (log (- x.re)))

series1.4s

Counts
4 → 12
Calls

4 calls. Slowest were:

552.0ms
(sin (+ (* (* (cbrt (log (- x.re))) (cbrt (log (- x.re)))) (* (cbrt (log (- x.re))) y.im)) (* (atan2 x.im x.re) y.re)))
411.0ms
(cbrt (log (- x.re)))
403.0ms
(cbrt (log (- x.re)))

simplify469.0ms

Counts
27 → 58
Calls

27 calls. Slowest were:

153.0ms
(sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im))))
59.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))
51.0ms
(sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re)))))

prune1.1s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 4.4b

localize24.0ms

Local error

Found 4 expressions with local error:

37.6b
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
0.3b
(* (log (- x.re)) y.im)
0.3b
(* (atan2 x.im x.re) y.re)
0.3b
(* (log (- x.re)) y.re)

rewrite39.0ms

Algorithm
rewrite-expression-head
Counts
4 → 43
Calls

4 calls. Slowest were:

22.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
6.0ms
(* (log (- x.re)) y.im)
6.0ms
(* (log (- x.re)) y.re)

series357.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

137.0ms
(sin (+ (* (log (- x.re)) y.im) (* (atan2 x.im x.re) y.re)))
110.0ms
(* (log (- x.re)) y.im)
87.0ms
(* (log (- x.re)) y.re)

simplify452.0ms

Counts
19 → 55
Calls

19 calls. Slowest were:

100.0ms
(sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re)))))
76.0ms
(* -1 (* y.im (log (/ -1 x.re))))
59.0ms
(sin (- (+ (* (atan2 x.im x.re) y.re) (* y.im (log -1))) (* y.im (log (/ 1 x.re)))))

prune903.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 4.3b

regimes755.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x.re x.im y.re y.im)
  :name "powComplex, imaginary part"
  (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (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: 11.514055602799736 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