Error in 1.6m

Runtime

Time bar (total: 1.6m)Debug log

start1.0s

Algorithm
intervals

setup130.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.4b

localize59.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*))

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

20.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
12.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))
11.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

series1.5s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.1s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
327.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.2s

Counts
52 → 88
Calls

52 calls. Slowest were:

448.0ms
(* (+ t (* 2 (/ (* l l) Om))) (+ U U*))
418.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)))))))
346.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

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.6b

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

23.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
9.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
7.0ms
(* (* n (pow (/ l Om) 2)) (- U U*))

series1.7s

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify8.8s

Counts
60 → 93
Calls

60 calls. Slowest were:

649.0ms
(* (* n (pow (/ l Om) 2)) (- U*))
432.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))
420.0ms
(* (+ t (* 2 (/ l (/ Om l)))) (+ U U*))

prune2.0s

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Counts
4 → 126
Calls

4 calls. Slowest were:

29.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*)))))
12.0ms
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))

series1.6s

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*)))))
319.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
87.0ms
(* (* (* n (/ l Om)) (/ l Om)) (- U U*))

simplify21.8s

Counts
111 → 138
Calls

111 calls. Slowest were:

656.0ms
(* (+ t (* 2 (/ l (/ Om l)))) (* Om (+ (* U U) (+ (* U* U*) (* U U*)))))
469.0ms
(* (* (* n l) (/ l Om)) (- (* U U) (* U* U*)))
461.0ms
(* (+ t (* 2 (/ l (/ Om l)))) (* Om Om))

prune3.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 21.4b

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

rewrite90.0ms

Algorithm
rewrite-expression-head
Counts
4 → 120
Calls

4 calls. Slowest were:

58.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
18.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*))))))
7.0ms
(* (/ l Om) (- U U*))

series1.6s

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

simplify18.5s

Counts
99 → 132
Calls

99 calls. Slowest were:

825.0ms
(* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* (- U U*) (- U U*)) (- U U*)))
506.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
493.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* n (/ l Om)) (* (/ l Om) (- (pow U 3) (pow U* 3))))))))

prune3.3s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 21.4b

regimes1.2s

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