Error in 50.5s

Runtime

Time bar (total: 50.5s)Debug log

start304.0ms

Algorithm
intervals

setup207.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.7b

localize37.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))
0.5b
(asin (sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1))))
0.2b
(* (/ Om Omc) (/ Om Omc))
0.2b
(* (/ t l) (/ t l))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

13.0ms
(* (/ t l) (/ t l))
6.0ms
(* (/ Om Omc) (/ Om Omc))
4.0ms
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))

series185.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

128.0ms
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))
22.0ms
(* (/ Om Omc) (/ Om Omc))
21.0ms
(asin (sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1))))

simplify5.2s

Counts
58 → 102
Calls

58 calls. Slowest were:

987.0ms
(* (* (* (/ t l) (/ t l)) (/ t l)) (* (* (/ t l) (/ t l)) (/ t l)))
941.0ms
(* (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)) (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)))
394.0ms
(asin (sqrt (/ (- 1 (/ (pow Om 2) (pow Omc 2))) (fma (/ (pow t 2) (pow l 2)) 2 1))))

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 10.6b

localize10.0ms

Local error

Found 4 expressions with local error:

9.5b
(sqrt (fma (* (/ t l) (/ t l)) 2 1))
0.6b
(/ (sqrt (- 1 (* (/ Om Omc) (/ Om Omc)))) (sqrt (fma (* (/ t l) (/ t l)) 2 1)))
0.5b
(asin (/ (sqrt (- 1 (* (/ Om Omc) (/ Om Omc)))) (sqrt (fma (* (/ t l) (/ t l)) 2 1))))
0.2b
(* (/ Om Omc) (/ Om Omc))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

5.0ms
(/ (sqrt (- 1 (* (/ Om Omc) (/ Om Omc)))) (sqrt (fma (* (/ t l) (/ t l)) 2 1)))
3.0ms
(* (/ Om Omc) (/ Om Omc))
1.0ms
(sqrt (fma (* (/ t l) (/ t l)) 2 1))

series189.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

117.0ms
(/ (sqrt (- 1 (* (/ Om Omc) (/ Om Omc)))) (sqrt (fma (* (/ t l) (/ t l)) 2 1)))
48.0ms
(sqrt (fma (* (/ t l) (/ t l)) 2 1))
14.0ms
(* (/ Om Omc) (/ Om Omc))

simplify11.9s

Counts
119 → 128
Calls

119 calls. Slowest were:

916.0ms
(* (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)) (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)))
427.0ms
(asin (sqrt (/ (- 1 (/ (pow Om 2) (pow Omc 2))) (fma (/ (pow t 2) (pow l 2)) 2 1))))
377.0ms
(asin (sqrt (/ (- 1 (/ (pow Om 2) (pow Omc 2))) (fma (/ (pow t 2) (pow l 2)) 2 1))))

prune2.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 6.6b

localize12.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))
0.5b
(asin (expm1 (log1p (sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1))))))
0.2b
(* (/ Om Omc) (/ Om Omc))
0.2b
(* (/ t l) (/ t l))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

6.0ms
(* (/ t l) (/ t l))
5.0ms
(* (/ Om Omc) (/ Om Omc))
2.0ms
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))

series195.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

129.0ms
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))
23.0ms
(* (/ t l) (/ t l))
23.0ms
(* (/ Om Omc) (/ Om Omc))

simplify5.5s

Counts
58 → 102
Calls

58 calls. Slowest were:

980.0ms
(* (* (* (/ t l) (/ t l)) (/ t l)) (* (* (/ t l) (/ t l)) (/ t l)))
950.0ms
(* (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)) (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)))
434.0ms
(asin (expm1 (log1p (sqrt (/ (- 1 (/ (pow Om 2) (pow Omc 2))) (fma (/ (pow t 2) (pow l 2)) 2 1))))))

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 6.6b

localize14.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))
0.5b
(asin (expm1 (log1p (sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1))))))
0.2b
(* (/ Om Omc) (/ Om Omc))
0.2b
(* (/ t l) (/ t l))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

7.0ms
(* (/ t l) (/ t l))
6.0ms
(* (/ Om Omc) (/ Om Omc))
4.0ms
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))

series199.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

145.0ms
(sqrt (/ (- 1 (* (/ Om Omc) (/ Om Omc))) (fma (* (/ t l) (/ t l)) 2 1)))
23.0ms
(* (/ t l) (/ t l))
19.0ms
(* (/ Om Omc) (/ Om Omc))

simplify5.4s

Counts
58 → 102
Calls

58 calls. Slowest were:

920.0ms
(* (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)) (* (* (/ Om Omc) (/ Om Omc)) (/ Om Omc)))
851.0ms
(* (* (* (/ t l) (/ t l)) (/ t l)) (* (* (/ t l) (/ t l)) (/ t l)))
483.0ms
(asin (expm1 (log1p (sqrt (/ (- 1 (/ (pow Om 2) (pow Omc 2))) (fma (/ (pow t 2) (pow l 2)) 2 1))))))

prune2.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 6.6b

regimes731.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (t l Om Omc)
  :name "Toniolo and Linder, Equation (2)"
  (asin (sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ 1 (* 2 (pow (/ t l) 2)))))))

Backtrace

partition: contract violation expected: list? given: 6.06144919699627 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