Details

Time bar (total: 46.4s)

sample235.0ms

Algorithm
intervals
Results
99.0ms465×body80nan
90.0ms286×body80valid

simplify1.1s

Counts
1 → 1

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.6b

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

rewrite142.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
43.0ms
(sqrt (* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
39.0ms
(* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
33.0ms
(* n (* (/ l Om) (/ l Om)))
23.0ms
(* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series2.5s

Counts
4 → 12
Calls
4 calls:
Slowest
1.7s
(sqrt (* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))
438.0ms
(* (* U 2) (* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
359.0ms
(* n (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
58.0ms
(* n (* (/ l Om) (/ l Om)))

simplify1.2s

Counts
180 → 180

prune3.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 21.7b

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

rewrite260.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
112.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
63.0ms
(* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
57.0ms
(sqrt (* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
23.0ms
(* n (* (/ l Om) (/ l Om)))

series2.8s

Counts
4 → 12
Calls
4 calls:
Slowest
2.1s
(sqrt (* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
473.0ms
(* (* (* U 2) n) (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
168.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
76.0ms
(* n (* (/ l Om) (/ l Om)))

simplify1.4s

Counts
176 → 176

prune3.0s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 19.1b

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

rewrite321.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
311.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*)))))

series3.3s

Counts
4 → 12
Calls
4 calls:
Slowest
2.1s
(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*)))))))
433.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
412.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
388.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

simplify1.3s

Counts
112 → 112

prune2.6s

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 19.1b

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

rewrite651.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
320.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*)))))))
313.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*)))))))
6.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
6.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series5.7s

Counts
4 → 12
Calls
4 calls:
Slowest
2.7s
(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*)))))))
2.3s
(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*)))))))
418.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
414.0ms
(cbrt (- t (fma (/ l Om) (* 2 l) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

simplify1.4s

Counts
140 → 140

prune4.1s

Pruning

19 alts after pruning (16 fresh and 3 done)

Merged error: 19.1b

regimes1.6s

Accuracy

18.1% (9.8b remaining)

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

bsearch581.0ms

end0.0ms

sample8.4s

Algorithm
intervals
Results
4.4s15010×body80nan
2.3s9189×body80valid