Details

sample1.4m

Algorithm
12×intervals
Results
52.6s32377×body10240exit
7.8s3440×body2560valid
5.7s37264×body80valid
5.4s37513×body80nan
5.2s4927×body1280valid
2.0s2973×body640valid
793.0ms8256×pre80true
676.0ms1444×body320valid
216.0ms687×body160valid
50.0ms27×body5120valid
28.0ms18×body640nan
10.0msbody2560nan
8.0msbody5120nan
5.0msbody1280nan
2.0msbody160nan
1.0msbody320nan

simplify40.1s

Calls

402 calls:

Slowest
762.0ms
(* (* (* (* n U) (* n U)) (* n U)) (* (* (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
664.0ms
(* (* (* (* n U) (* n U)) (* n U)) (* (* (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n)))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))))
589.0ms
(* (* (* (* 2 (* U n)) (* 2 (* U n))) (* 2 (* U n))) (* (* (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
515.0ms
(sqrt (* (* 2 (* U n)) (- (pow (fma -2 (/ (* l l) Om) t) 3) (pow (* (* n (* (/ l Om) (/ l Om))) (- U U*)) 3))))
498.0ms
(* (* n (* l (/ l Om))) (- (* U U) (* U* U*)))

prune10.5s

series6.1s

Calls

42 calls:

Slowest
1.5s
(sqrt (* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
1.1s
(sqrt (pow (* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n)))))) 1))
875.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (* (/ l Om) (/ l Om)) (- U U*)) n))))) 1))
848.0ms
(sqrt (pow (* (* n U) (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))) 1))
384.0ms
(* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

regimes2.3s

Accuracy

Total 9.4b remaining (5.2%)

9.0b21.2%Toniolo and Linder, Equation (13)
0.2b0%Random Jason Timeout Test 004
0.2b0%Random Jason Timeout Test 012

bsearch424.0ms

localize364.0ms

rewrite285.0ms

Algorithm
15×rewrite-expression-head
Calls

42 calls:

Slowest
26.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
24.0ms
(* (* (/ l Om) (* (/ l Om) (- U U*))) n)
24.0ms
(* (* (* (/ l Om) (/ l Om)) (- U U*)) n)
22.0ms
(* n (* U (* 2 (+ (* (/ l Om) (* -2 l)) (- t (* (* (/ l Om) (* (/ l Om) (- U U*))) n))))))
21.0ms
(* (* 2 (* U n)) (- (fma -2 (/ (* l l) Om) t) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
Rules
78×associate-*r/
74×add-sqr-sqrt
71×*-un-lft-identity add-cube-cbrt
65×associate-*l/
64×pow1
63×add-exp-log
61×add-cbrt-cube
49×frac-times
42×add-log-exp expm1-log1p-u insert-posit16 log1p-expm1-u
34×distribute-lft-in distribute-rgt-in
31×flip3-- flip--
18×associate-*r*
16×sqrt-prod associate-*l*
15×log-prod
14×log-pow
13×exp-prod
11×*-commutative
10×sub-neg
pow-prod-down cbrt-unprod prod-exp times-frac
frac-add prod-diff
rem-log-exp pow1/2 div-inv associate-/l*
unpow-prod-down exp-sum rem-sqrt-square associate-/r* acos-asin flip-+ flip3-+
sqrt-div frac-2neg associate-/r/ fma-udef clear-num associate--l+ associate-/l/
div-sub cbrt-undiv div-exp rem-exp-log

end1.0ms