Error in 1.7m

Runtime

Time bar (total: 1.7m)Debug log

start509.0ms

Algorithm
intervals

setup130.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.4b

localize65.0ms

Local error

Found 4 expressions with local error:

19.5b
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
11.0b
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
8.2b
(/ (* l l) Om)
7.9b
(* (* n (pow (/ l Om) 2)) (- U U*))

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

25.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
15.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
11.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))

series1.8s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.4s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
333.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
76.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))

simplify8.7s

Counts
52 → 88
Calls

52 calls. Slowest were:

457.0ms
(* (+ t (* 2 (/ (* l l) Om))) (+ U U*))
388.0ms
(* (* n (pow (/ l Om) 2)) (- U*))
371.0ms
(* (* n (pow (/ l Om) 2)) (- U*))

prune2.0s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.6b

localize23.0ms

Local error

Found 4 expressions with local error:

19.5b
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
11.0b
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
7.9b
(* (* n (pow (/ l Om) 2)) (- U U*))
3.9b
(* n (pow (/ l Om) 2))

rewrite61.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

35.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
12.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
8.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

series1.8s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.3s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
332.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
109.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))

simplify8.6s

Counts
60 → 93
Calls

60 calls. Slowest were:

387.0ms
(sqrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
383.0ms
(cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
368.0ms
(* (+ t (* 2 (/ l (/ Om l)))) (+ U U*))

prune2.5s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 22.7b

localize34.0ms

Local error

Found 4 expressions with local error:

19.5b
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
11.0b
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
7.9b
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))
5.7b
(* n (/ l Om))

rewrite73.0ms

Algorithm
rewrite-expression-head
Counts
4 → 126
Calls

4 calls. Slowest were:

34.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
25.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
10.0ms
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))

series1.7s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
380.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
72.0ms
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))

simplify21.6s

Counts
111 → 138
Calls

111 calls. Slowest were:

757.0ms
(+ (+ (log (* n (/ l Om))) (log (/ l Om))) (log (- U U*)))
509.0ms
(* (+ t (* 2 (/ l (/ Om l)))) (* Om (+ (* U U) (+ (* U* U*) (* U U*)))))
492.0ms
(* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* Om Om))

prune3.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 21.4b

localize18.0ms

Local error

Found 4 expressions with local error:

19.5b
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*))))))
11.0b
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
6.5b
(* (/ l Om) (- U U*))
5.7b
(* n (/ l Om))

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 120
Calls

4 calls. Slowest were:

34.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
16.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*))))))
4.0ms
(* (/ l Om) (- U U*))

series1.5s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.1s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*))))))
307.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
52.0ms
(* (/ l Om) (- U U*))

simplify18.6s

Counts
99 → 132
Calls

99 calls. Slowest were:

746.0ms
(* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* (- U U*) (- U U*)) (- U U*)))
549.0ms
(* (* (* 2 n) U) (- (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
525.0ms
(* (+ t (* 2 (/ l (/ Om l)))) (* Om Om))

prune3.1s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 21.4b

regimes1.4s

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (n U t l Om U*)
  :name "Toniolo and Linder, Equation (13)"
  (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))

Backtrace

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