Error in 1.5m

Runtime

Time bar (total: 1.5m)Debug logProfile

start563.0ms

Algorithm
intervals

setup137.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.8b

localize79.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
10.9b
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
8.2b
(* (* n (pow (/ l Om) 2)) (- U U*))
7.1b
(* n (pow (/ l Om) 2))

rewrite50.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

27.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*)))))
6.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))

series1.6s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
359.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
69.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))

simplify9.6s

Counts
60 → 93
Calls

60 calls. Slowest were:

751.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))
454.0ms
(* (+ t (* 2 (/ (* l l) Om))) (+ U U*))
368.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (* t t) (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om)))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))

prune2.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 26.2b

localize40.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om))))))
10.9b
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))
7.1b
(* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))
6.8b
(/ (* l l) Om)

rewrite93.0ms

Algorithm
rewrite-expression-head
Counts
4 → 117
Calls

4 calls. Slowest were:

50.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))
25.0ms
(* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))
13.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om))))))

series1.6s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om))))))
344.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))
71.0ms
(* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))

simplify20.1s

Counts
97 → 129
Calls

97 calls. Slowest were:

878.0ms
(sqrt (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))
530.0ms
(* (+ t (* 2 (/ (* l l) Om))) (* Om Om))
504.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (+ (* (/ U Om) (/ U Om)) (+ (* (/ U* Om) (/ U* Om)) (* (/ U Om) (/ U* Om))))) (* (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* (/ l Om) (* l n)) (- (pow (/ U Om) 3) (pow (/ U* Om) 3)))))))

prune3.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 22.8b

localize54.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (+ (* t (* (* 2 n) U)) (* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))))
12.1b
(* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))
7.1b
(* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))
4.2b
(* t (* (* 2 n) U))

rewrite39.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

22.0ms
(* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))
9.0ms
(* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))
3.0ms
(sqrt (+ (* t (* (* 2 n) U)) (* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))))

series1.2s

Counts
4 → 12
Calls

4 calls. Slowest were:

894.0ms
(sqrt (+ (* t (* (* 2 n) U)) (* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))))
156.0ms
(* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))
88.0ms
(* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))

simplify9.1s

Counts
71 → 103
Calls

71 calls. Slowest were:

593.0ms
(- (/ (* U (* n (pow l 2))) (pow Om 2)) (/ (* n (* U* (pow l 2))) (pow Om 2)))
492.0ms
(+ (- (log (* n l)) (log (/ Om l))) (log (- (/ U Om) (/ U* Om))))
435.0ms
(* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))

prune2.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 18.7b

localize59.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (+ (* t (* (* 2 n) U)) (pow (* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n)))) 1)))
8.6b
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))
6.6b
(* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))))
5.5b
(/ (/ Om l) n)

rewrite70.0ms

Algorithm
rewrite-expression-head
Counts
4 → 108
Calls

4 calls. Slowest were:

39.0ms
(* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))))
19.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))
9.0ms
(sqrt (+ (* t (* (* 2 n) U)) (pow (* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n)))) 1)))

series1.2s

Counts
4 → 12
Calls

4 calls. Slowest were:

862.0ms
(sqrt (+ (* t (* (* 2 n) U)) (pow (* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n)))) 1)))
202.0ms
(* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))))
74.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))

simplify7.3s

Counts
102 → 120
Calls

102 calls. Slowest were:

419.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))
359.0ms
(- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n)))
345.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))

prune3.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 18.2b

regimes1.2s

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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.152797357271883 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