Details

Time bar (total: 38.6s)

sample596.0ms

Algorithm
intervals
Results
182.0ms465×body80nan
101.0ms286×body80valid

simplify1.6s

Counts
1 → 1

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.6b

localize87.0ms

Local error

Found 4 expressions with local error:

16.2b
(sqrt (* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
8.2b
(* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
5.1b
(* n (* (/ l Om) (/ l Om)))
4.5b
(* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
55×distribute-rgt-in distribute-lft-in
54×prod-diff
48×add-sqr-sqrt
45×*-un-lft-identity
43×add-cube-cbrt
36×pow1 add-cbrt-cube add-exp-log
20×pow-prod-down
18×prod-exp cbrt-unprod
14×associate-*r/
7×associate-*r* associate-*l*
6×sub-neg
5×sqrt-pow1
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- *-commutative flip--
2×sqrt-div unswap-sqr
1×frac-times pow1/2 associate-*l/ sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 168
Calls
4 calls:
Slowest
74.0ms
(* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
65.0ms
(sqrt (* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
34.0ms
(* n (* (/ l Om) (/ l Om)))
16.0ms
(* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series3.1s

Counts
4 → 12
Calls
4 calls:
Slowest
2.2s
(sqrt (* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
537.0ms
(* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
340.0ms
(* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
71.0ms
(* n (* (/ l Om) (/ l Om)))

simplify1.4s

Counts
180 → 180

prune3.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 21.7b

localize80.0ms

Local error

Found 4 expressions with local error:

16.2b
(sqrt (* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
11.1b
(* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
5.1b
(* n (* (/ l Om) (/ l Om)))
4.4b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

rewrite713.0ms

Algorithm
rewrite-expression-head
Rules
56×add-cbrt-cube add-exp-log
37×pow1
36×add-sqr-sqrt prod-diff
35×*-un-lft-identity
31×add-cube-cbrt
30×prod-exp cbrt-unprod
22×distribute-rgt-in distribute-lft-in associate-*r/
21×pow-prod-down
11×associate-*r*
10×frac-times
8×cbrt-undiv div-exp
7×associate-*l/
6×flip3-- flip--
5×associate-*l*
4×expm1-log1p-u sub-neg sqrt-pow1 insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×sqrt-div distribute-lft-out-- difference-of-squares
1×pow1/2 sqrt-prod unswap-sqr
Counts
4 → 164
Calls
4 calls:
Slowest
484.0ms
(* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
97.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
83.0ms
(sqrt (* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
46.0ms
(* n (* (/ l Om) (/ l Om)))

series2.4s

Counts
4 → 12
Calls
4 calls:
Slowest
1.8s
(sqrt (* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
424.0ms
(* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
133.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
54.0ms
(* n (* (/ l Om) (/ l Om)))

simplify1.4s

Counts
176 → 176

prune2.7s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 19.1b

localize57.0ms

Local error

Found 4 expressions with local error:

16.2b
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
13.6b
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
13.6b
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
13.6b
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
34×pow1
32×associate-*r/
30×flip3-- flip--
28×frac-times
26×sqrt-div
22×pow-prod-down
15×cbrt-prod
14×associate-*l/
13×add-sqr-sqrt *-un-lft-identity
8×sqrt-pow1
7×add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 distribute-lft-out-- difference-of-squares
1×pow1/2 sqrt-prod
Counts
4 → 100
Calls
4 calls:
Slowest
259.0ms
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
3.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
3.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
3.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series2.9s

Counts
4 → 12
Calls
4 calls:
Slowest
1.8s
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
375.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
359.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
354.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

simplify1.0s

Counts
112 → 112

prune2.1s

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 19.1b

localize80.0ms

Local error

Found 4 expressions with local error:

16.2b
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
16.2b
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
13.6b
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
13.6b
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

rewrite408.0ms

Algorithm
rewrite-expression-head
Rules
112×cbrt-div
64×pow1 associate-*r/
56×frac-times flip3-- flip--
52×sqrt-div
44×pow-prod-down
28×associate-*l/
16×sqrt-pow1
10×cbrt-prod add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×pow1/2 pow1/3 sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 128
Calls
4 calls:
Slowest
200.0ms
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
200.0ms
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
3.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
3.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series3.6s

Counts
4 → 12
Calls
4 calls:
Slowest
1.5s
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
1.5s
(sqrt (* (* (* (* U 2) n) (* (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))) (cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
279.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
278.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

simplify909.0ms

Counts
140 → 140

prune2.7s

Pruning

19 alts after pruning (16 fresh and 3 done)

Merged error: 19.1b

regimes994.0ms

Accuracy

18.1% (9.8b remaining)

Error of 28.2b against oracle of 18.4b and baseline of 30.3b

bsearch603.0ms

end0.0ms

sample5.4s

Algorithm
intervals
Results
2.8s15010×body80nan
1.5s9189×body80valid