Error in 31.4s

Runtime

Time bar (total: 31.4s)Debug log

start50.0ms

Algorithm
intervals

setup30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.6b

localize55.0ms

Local error

Found 3 expressions with local error:

27.3b
(sqrt (+ (* re re) (* im im)))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
0.0b
(+ (* re re) (* im im))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
3 → 62
Calls

3 calls. Slowest were:

8.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
3.0ms
(sqrt (+ (* re re) (* im im)))
2.0ms
(+ (* re re) (* im im))

series173.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

132.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
26.0ms
(sqrt (+ (* re re) (* im im)))
15.0ms
(+ (* re re) (* im im))

simplify994.0ms

Counts
55 → 71
Calls

55 calls. Slowest were:

184.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
146.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
115.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log 10) (log 10)) (log 10)))

prune997.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.6b

localize31.0ms

Local error

Found 4 expressions with local error:

28.3b
(log (+ (* re re) (* im im)))
0.4b
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
0.3b
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
0.0b
(+ (* re re) (* im im))

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
4 → 121
Calls

4 calls. Slowest were:

15.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
12.0ms
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
4.0ms
(+ (* re re) (* im im))

series370.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

156.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
132.0ms
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
57.0ms
(log (+ (* re re) (* im im)))

simplify2.5s

Counts
118 → 133
Calls

118 calls. Slowest were:

421.0ms
(* (* (* (/ 1/2 (sqrt (log 10))) (/ 1/2 (sqrt (log 10)))) (/ 1/2 (sqrt (log 10)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
197.0ms
(+ (log (/ 1/2 (sqrt (log 10)))) (- (log (log (+ (* re re) (* im im)))) (log (sqrt (log 10)))))
195.0ms
(/ (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (log 10)))

prune2.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.5b

localize9.0ms

Local error

Found 4 expressions with local error:

28.3b
(log (+ (* re re) (* im im)))
0.4b
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
0.4b
(* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
0.4b
(* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Counts
4 → 144
Calls

4 calls. Slowest were:

18.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
14.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
13.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))

series902.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

475.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
207.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
180.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))

simplify5.0s

Counts
146 → 156
Calls

146 calls. Slowest were:

629.0ms
(* (* (* (sqrt (/ 1/2 (sqrt (log 10)))) (sqrt (/ 1/2 (sqrt (log 10))))) (sqrt (/ 1/2 (sqrt (log 10))))) (* (* (* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))))
360.0ms
(* -2 (/ (* (log (/ -1 re)) (pow (sqrt 1/2) 2)) (log 10)))
335.0ms
(* 2 (/ (* (log im) (pow (sqrt 1/2) 2)) (log 10)))

prune2.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 5.4b

localize14.0ms

Local error

Found 4 expressions with local error:

28.3b
(log (+ (* re re) (* im im)))
0.4b
(/ (* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im))))) (sqrt (log 10)))
0.4b
(* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im))))
0.4b
(* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im)))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Counts
4 → 112
Calls

4 calls. Slowest were:

27.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im)))))
24.0ms
(/ (* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im))))) (sqrt (log 10)))
7.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im))))

series878.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

349.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im))))
286.0ms
(* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im)))))
184.0ms
(/ (* (sqrt (/ 1/2 (sqrt (log 10)))) (* (sqrt (/ 1/2 (sqrt (log 10)))) (log (+ (* re re) (* im im))))) (sqrt (log 10)))

simplify6.3s

Counts
95 → 124
Calls

95 calls. Slowest were:

723.0ms
(* -2 (/ (* (log (/ -1 re)) (pow (sqrt 1/2) 2)) (log 10)))
679.0ms
(* -2 (* (sqrt (/ 1 (log 10))) (* (log (/ 1 re)) (pow (sqrt 1/2) 2))))
650.0ms
(* 2 (* (* (log im) (pow (sqrt 1/2) 2)) (sqrt (/ 1 (log 10)))))

prune1.9s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 5.4b

regimes797.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (re im)
  :name "math.log10 on complex, real part"
  (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)))

Backtrace

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