Error in 1.4m

Runtime

Time bar (total: 1.4m)Debug logProfile

start1.1s

Algorithm
intervals

setup163.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.8b

localize63.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))

rewrite52.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

21.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
20.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*)))))
326.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
104.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))

simplify8.7s

Counts
60 → 93
Calls

60 calls. Slowest were:

467.0ms
(* (+ t (* 2 (/ (* l l) Om))) (+ U U*))
357.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)))))))
356.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*)))))))

prune1.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 26.2b

localize36.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)

rewrite76.0ms

Algorithm
rewrite-expression-head
Counts
4 → 117
Calls

4 calls. Slowest were:

36.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))
21.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))))))
362.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))
61.0ms
(* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))

simplify18.3s

Counts
97 → 129
Calls

97 calls. Slowest were:

841.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)))))))
519.0ms
(sqrt (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))
436.0ms
(cbrt (- (- t (* 2 (/ (* l l) Om))) (* (* (/ l Om) (* l n)) (- (/ U Om) (/ U* Om)))))

prune2.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 22.8b

localize33.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:

18.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)))
7.0ms
(sqrt (+ (* t (* (* 2 n) U)) (* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))))

series1.5s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.2s
(sqrt (+ (* t (* (* 2 n) U)) (* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))))
140.0ms
(* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))
64.0ms
(* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))

simplify8.2s

Counts
71 → 103
Calls

71 calls. Slowest were:

427.0ms
(* (- (* (* -2 l) (/ l Om)) (* (/ (* n l) (/ Om l)) (- (/ U Om) (/ U* Om)))) (* n (* U 2)))
420.0ms
(+ (- (log (* n l)) (log (/ Om l))) (log (- (/ U Om) (/ U* Om))))
350.0ms
(* (- (* (* -2 l) l) (* (/ (* n l) (/ Om l)) (- U U*))) (* n (* U 2)))

prune2.4s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 18.7b

localize29.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)

rewrite58.0ms

Algorithm
rewrite-expression-head
Counts
4 → 108
Calls

4 calls. Slowest were:

35.0ms
(* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))))
9.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))
5.0ms
(/ (/ Om l) n)

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

871.0ms
(sqrt (+ (* t (* (* 2 n) U)) (pow (* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n)))) 1)))
141.0ms
(* (* (* n 2) (* U l)) (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))))
61.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))

simplify6.7s

Counts
102 → 120
Calls

102 calls. Slowest were:

375.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))
336.0ms
(/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))
335.0ms
(sqrt (- (* (/ l Om) -2) (/ (- (/ U Om) (/ U* Om)) (/ (/ Om l) n))))

prune2.9s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 18.2b

regimes1.3s

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