Error in 50.6s

Runtime

Time bar (total: 50.6s)Debug logProfile

start646.0ms

Algorithm
intervals

setup584.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.4b

localize65.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l))))))
14.2b
(fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))
10.9b
(* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))))
0.2b
(* (/ l Om) (/ l Om))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

6.0ms
(* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))))
5.0ms
(sqrt (* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l))))))
3.0ms
(* (/ l Om) (/ l Om))

series2.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.6s
(sqrt (* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l))))))
253.0ms
(* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))))
109.0ms
(fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))

simplify5.6s

Counts
42 → 85
Calls

42 calls. Slowest were:

1.0s
(* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* (/ l Om) (/ l Om)) (/ l Om)))
630.0ms
(+ (* t t) (+ (* (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l))) (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))) (* t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l))))))
405.0ms
(* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))))

prune1.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 24.6b

localize25.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (+ (* t (* 2 (* U n))) (* (* (* n (* U -2)) (/ l Om)) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))
10.9b
(* (* n (* U -2)) (/ l Om))
8.3b
(fma (* n (- U U*)) (/ l Om) (* 2 l))
4.2b
(* t (* 2 (* U n)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

4.0ms
(* (* n (* U -2)) (/ l Om))
4.0ms
(* t (* 2 (* U n)))
3.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* (* n (* U -2)) (/ l Om)) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))

series962.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

826.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* (* n (* U -2)) (/ l Om)) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))
62.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))
49.0ms
(* (* n (* U -2)) (/ l Om))

simplify2.7s

Counts
26 → 68
Calls

26 calls. Slowest were:

342.0ms
(+ (log (* n (* U -2))) (log (/ l Om)))
248.0ms
(* -2 (/ (* U (* n l)) Om))
248.0ms
(sqrt (+ (pow (* t (* 2 (* U n))) 3) (pow (* (* (* n (* U -2)) (/ l Om)) (fma (* n (- U U*)) (/ l Om) (* 2 l))) 3)))

prune1.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 20.3b

localize16.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (+ (* t (* 2 (* U n))) (* (* n (* (* U -2) (/ l Om))) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))
8.3b
(fma (* n (- U U*)) (/ l Om) (* 2 l))
4.9b
(* (* U -2) (/ l Om))
4.5b
(* n (* (* U -2) (/ l Om)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

7.0ms
(* n (* (* U -2) (/ l Om)))
6.0ms
(* (* U -2) (/ l Om))
5.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* n (* (* U -2) (/ l Om))) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))

series789.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

666.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* n (* (* U -2) (/ l Om))) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))
61.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))
46.0ms
(* n (* (* U -2) (/ l Om)))

simplify2.9s

Counts
26 → 69
Calls

26 calls. Slowest were:

642.0ms
(* (* (* (* U -2) (* U -2)) (* U -2)) (* (* (/ l Om) (/ l Om)) (/ l Om)))
253.0ms
(* -2 (/ (* U (* n l)) Om))
242.0ms
(sqrt (- (* (* t (* 2 (* U n))) (* t (* 2 (* U n)))) (* (* (* n (* (* U -2) (/ l Om))) (fma (* n (- U U*)) (/ l Om) (* 2 l))) (* (* n (* (* U -2) (/ l Om))) (fma (* n (- U U*)) (/ l Om) (* 2 l))))))

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 20.3b

localize31.0ms

Local error

Found 4 expressions with local error:

20.3b
(sqrt (+ (* t (* 2 (* U n))) (* (* n (* (* U -2) (/ l Om))) (* (* (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l)))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l)))))))
8.3b
(fma (* n (- U U*)) (/ l Om) (* 2 l))
8.3b
(fma (* n (- U U*)) (/ l Om) (* 2 l))
8.3b
(fma (* n (- U U*)) (/ l Om) (* 2 l))

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 46
Calls

4 calls. Slowest were:

3.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* n (* (* U -2) (/ l Om))) (* (* (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l)))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l)))))))
0.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))
0.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

816.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* n (* (* U -2) (/ l Om))) (* (* (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l)))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l)))))))
83.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))
69.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))

simplify2.2s

Counts
18 → 58
Calls

18 calls. Slowest were:

272.0ms
(sqrt (+ (pow (* t (* 2 (* U n))) 3) (pow (* (* n (* (* U -2) (/ l Om))) (* (* (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l)))) (cbrt (fma (* n (- U U*)) (/ l Om) (* 2 l))))) 3)))
221.0ms
(- (+ (/ (* U (* n l)) Om) (* 2 l)) (/ (* n (* U* l)) Om))
211.0ms
(- (+ (/ (* U (* n l)) Om) (* 2 l)) (/ (* n (* U* l)) Om))

prune1.5s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 20.3b

regimes1.1s

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(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: 27.265475120311997 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