Details

simplify3.1m

Calls

1729 calls:

Slowest
949.0ms
(* (* (* (* (* 2 2) 2) (* (* n n) n)) (* (* U U) U)) (* (* (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
873.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (* t t) (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om)))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3)))))))
631.0ms
(* (* (* (* (* 2 n) U) (* (* 2 n) U)) (* (* 2 n) U)) (* (* (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
619.0ms
(sqrt (* (* (* 2 n) U) (- (pow (- t (* 2 (/ (* l l) Om))) 3) (pow (* (* n (pow (/ l Om) 2)) (- U U*)) 3))))
613.0ms
(* (/ (/ (* (* n n) n) (* (* (/ Om l) (/ Om l)) (/ Om l))) (/ (* (* Om Om) Om) (* (* l l) l))) (* (* (- U U*) (- U U*)) (- U U*)))

sample1.3m

Algorithm
12×intervals
Results
50.7s32727×body10240exit
7.2s3456×body2560valid
5.8s37908×body80nan
5.0s4943×body1280valid
4.9s37242×body80valid
1.6s2937×body640valid
576.0ms1459×body320valid
329.0ms8256×pre80true
206.0ms763×body160valid
31.0ms18×body5120valid
10.0ms4×body5120nan
6.0ms8×body1280nan
6.0ms5×body2560nan
4.0ms12×body160nan
3.0ms7×body320nan
2.0ms4×body640nan

prune25.2s

series10.4s

Calls

50 calls:

Slowest
1.7s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.1s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*)))))
1.1s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (/ (* (/ n (/ Om l)) (- U U*)) (/ Om l)))))
553.0ms
(sinh c)

regimes2.3s

Accuracy

Total 7.8b remaining (4.3%)

7.5b25.7%Toniolo and Linder, Equation (13)
0.2b0%Random Jason Timeout Test 012
0.1b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 002
0.0b0%Random Jason Timeout Test 014

rewrite1.2s

Algorithm
17×rewrite-expression-head
Calls

50 calls:

Slowest
244.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (/ (* (/ n (/ Om l)) (- U U*)) (/ Om l))))
120.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
103.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
91.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
82.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (/ (/ n (/ Om l)) (/ Om l)) (- U U*))))
Rules
2230×times-frac
1237×add-sqr-sqrt
1178×*-un-lft-identity
1144×add-cube-cbrt
642×associate-*l*
222×prod-diff
187×add-exp-log
157×add-cbrt-cube pow1
135×distribute-rgt-in distribute-lft-in
126×div-inv
89×associate-*r/
64×associate-*r*
60×prod-exp
56×pow-prod-down
52×flip3-- flip--
51×add-log-exp
50×expm1-log1p-u insert-posit16 log1p-expm1-u
45×cbrt-unprod
41×log-prod
40×frac-sub associate--l+
35×exp-prod
34×associate-/r*
30×div-exp log-pow
28×sqrt-div
27×cbrt-undiv
25×associate-/r/
24×sub-neg
23×sqrt-pow1
22×cbrt-prod
21×unswap-sqr
17×difference-of-squares exp-sum distribute-lft-out--
15×unpow-prod-down
13×frac-times sqrt-prod
12×associate-/l* *-commutative
11×cosh-def
8×pow1/3
7×associate-*l/
6×rem-log-exp pow-exp cbrt-div swap-sqr
5×pow1/2 log-div
4×frac-2neg rem-exp-log clear-num
3×pow-to-exp acos-asin
2×sinh-def exp-diff pow-prod-up associate-/l/ pow-sqr unpow2 sqr-pow fma-udef
1×div-sub pow2 pow-plus

localize508.0ms

bsearch314.0ms

end0.0ms