Error in 51.2s

Runtime

Time bar (total: 51.2s)Debug logProfile

start1.3s

Algorithm
intervals

setup167.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.4b

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

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

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))))))
331.0ms
(* (* 2 (* U n)) (- t (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))))
89.0ms
(fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))

simplify5.8s

Counts
42 → 85
Calls

42 calls. Slowest were:

1.0s
(* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* (/ l Om) (/ l Om)) (/ l Om)))
532.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))))))
397.0ms
(* (- (fma (* (/ l Om) (/ l Om)) (* (- U U*) n) (* (/ l Om) (* 2 l)))) (* 2 (* U n)))

prune1.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 24.6b

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

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

series955.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

834.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* (* n (* U -2)) (/ l Om)) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))
58.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))
44.0ms
(* (* n (* U -2)) (/ l Om))

simplify3.0s

Counts
26 → 68
Calls

26 calls. Slowest were:

394.0ms
(+ (log (* n (* U -2))) (log (/ l Om)))
319.0ms
(* -2 (/ (* U (* n l)) Om))
297.0ms
(* -2 (/ (* U (* n l)) Om))

prune1.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 20.3b

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

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

series892.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

748.0ms
(sqrt (+ (* t (* 2 (* U n))) (* (* n (* (* U -2) (/ l Om))) (fma (* n (- U U*)) (/ l Om) (* 2 l)))))
74.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))
40.0ms
(* n (* (* U -2) (/ l Om)))

simplify3.4s

Counts
26 → 69
Calls

26 calls. Slowest were:

602.0ms
(- (+ (/ (* U (* n l)) Om) (* 2 l)) (/ (* n (* U* l)) Om))
556.0ms
(* (* (* (* U -2) (* U -2)) (* U -2)) (* (* (/ l Om) (/ l Om)) (/ l Om)))
289.0ms
(* -2 (/ (* U (* n l)) Om))

prune1.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 20.3b

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

series966.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

750.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)))))))
87.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))
74.0ms
(fma (* n (- U U*)) (/ l Om) (* 2 l))

simplify2.6s

Counts
18 → 58
Calls

18 calls. Slowest were:

263.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)))
256.0ms
(sqrt (- (* (* t (* 2 (* U n))) (* 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))))) (* (* 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))))))))
229.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

regimes843.0ms

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