Error in 2.1m

Runtime

Time bar (total: 2.1m)Debug logProfile

start2.5s

Algorithm
intervals

setup17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.8b

localize39.0ms

Local error

Found 4 expressions with local error:

32.3b
(sqrt (+ (* re re) (* im im)))
0.6b
(* (log base) (log base))
0.4b
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
0.3b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 74
Calls

4 calls. Slowest were:

10.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
5.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
4.0ms
(* (log base) (log base))

series397.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

163.0ms
(* (log base) (log base))
127.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
86.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))

simplify3.5s

Counts
49 → 86
Calls

49 calls. Slowest were:

491.0ms
(- (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (log (* (log base) (log base))))
473.0ms
(* -1 (* (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))
328.0ms
(- (+ (log (log (sqrt (+ (* re re) (* im im))))) (log (log base))) (+ (log (log base)) (log (log base))))

prune1.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.7b

localize22.0ms

Local error

Found 3 expressions with local error:

0.6b
(* (log base) (log base))
0.4b
(/ (* (log (- re)) (log base)) (* (log base) (log base)))
0.3b
(* (log (- re)) (log base))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
3 → 59
Calls

3 calls. Slowest were:

13.0ms
(/ (* (log (- re)) (log base)) (* (log base) (log base)))
7.0ms
(* (log base) (log base))
4.0ms
(* (log (- re)) (log base))

series412.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

198.0ms
(* (log base) (log base))
118.0ms
(/ (* (log (- re)) (log base)) (* (log base) (log base)))
95.0ms
(* (log (- re)) (log base))

simplify4.1s

Counts
40 → 68
Calls

40 calls. Slowest were:

625.0ms
(* -1 (/ (- (log -1) (log (/ 1 re))) (log (/ 1 base))))
538.0ms
(- (+ (log (log (- re))) (log (log base))) (+ (log (log base)) (log (log base))))
378.0ms
(* -1 (* (log (/ -1 re)) (- (log -1) (log (/ -1 base)))))

prune649.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 7.7b

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (log base) (log base))
0.4b
(/ (* (log base) (log base)) (* (log (- re)) (log base)))
0.3b
(* (log (- re)) (log base))
0.3b
(/ 1 (/ (* (log base) (log base)) (* (log (- re)) (log base))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

9.0ms
(/ (* (log base) (log base)) (* (log (- re)) (log base)))
4.0ms
(/ 1 (/ (* (log base) (log base)) (* (log (- re)) (log base))))
4.0ms
(* (log (- re)) (log base))

series583.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

203.0ms
(* (log base) (log base))
144.0ms
(/ 1 (/ (* (log base) (log base)) (* (log (- re)) (log base))))
125.0ms
(/ (* (log base) (log base)) (* (log (- re)) (log base)))

simplify18.0s

Counts
50 → 94
Calls

50 calls. Slowest were:

5.3s
(/ (* (log base) (log base)) (* (log (- re)) (log base)))
4.0s
(cbrt (/ (* (log base) (log base)) (* (log (- re)) (log base))))
3.8s
(sqrt (/ (* (log base) (log base)) (* (log (- re)) (log base))))

prune1.1s

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 7.7b

localize22.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (log base) 3)
0.6b
(cbrt (/ (/ (pow (log base) 3) (log (- re))) (* (log (- re)) (log (- re)))))
0.5b
(* (log (- re)) (log (- re)))
0.4b
(/ (pow (log base) 3) (log (- re)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 183
Calls

4 calls. Slowest were:

9.0ms
(/ (pow (log base) 3) (log (- re)))
8.0ms
(* (log (- re)) (log (- re)))
7.0ms
(cbrt (/ (/ (pow (log base) 3) (log (- re))) (* (log (- re)) (log (- re)))))

series650.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

212.0ms
(pow (log base) 3)
211.0ms
(* (log (- re)) (log (- re)))
121.0ms
(/ (pow (log base) 3) (log (- re)))

simplify8.5s

Counts
200 → 195
Calls

200 calls. Slowest were:

601.0ms
(* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re))))
393.0ms
(pow (- (log -1) (log (/ -1 base))) 3)
388.0ms
(/ (pow (* (cbrt (log base)) (cbrt (log base))) 3) (* (cbrt (log (- re))) (cbrt (log (- re)))))

prune2.8s

Pruning

23 alts after pruning (21 fresh and 2 done)

Merged error: 7.7b

regimes931.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (re im base)
  :name "math.log/2 on complex, real part"
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))))

Backtrace

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