Details

simplify1.2m (51.4%)

sample54.8s (40.0%)

Algorithm
41×intervals
Results
42.2s3603×body10240exit
2.9s40556×body80nan
2.4s23692×body80valid
2.2s1336×body1280valid
1.0s995×body640valid
431.0ms1153×body160valid
356.0ms836×body320valid
330.0ms8073×pre80true
48.0msbody5120valid
45.0ms89×body2560valid
28.0ms222×body160nan
22.0ms127×pre10240exit
7.0ms264×pre80false

rewrite5.4s (4.0%)

Algorithm
45×rewrite-expression-head
Calls

135 calls:

409.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
210.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
165.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
159.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
157.0ms
(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))
Rules
2820×*-un-lft-identity
2105×add-sqr-sqrt
1967×times-frac
1584×add-cube-cbrt
1243×prod-diff
916×add-exp-log
398×distribute-lft-out
377×prod-exp
352×add-cbrt-cube
322×div-exp
266×pow-exp
232×associate-/r/
226×distribute-lft-out--
224×difference-of-squares
222×pow1
218×add-log-exp
186×pow-to-exp
148×div-inv
135×log1p-expm1-u expm1-log1p-u
130×associate-/l*
118×fma-neg
115×fma-def
109×cbrt-prod
101×flip--
100×flip3--
98×associate-*r*
97×associate-/r*
94×flip-+
93×flip3-+
86×sqrt-prod
83×associate-*l*
77×cbrt-undiv
69×cbrt-unprod
38×log-prod
37×cos-sum
36×distribute-rgt-in distribute-lft-in distribute-rgt-neg-in
33×associate-/l/ pow-prod-down clear-num sub-neg frac-2neg
31×unpow-prod-down
29×unswap-sqr
22×diff-log sin-sum
20×sqrt-div *-commutative sum-log
19×div-sub
18×distribute-lft-neg-in
17×associate-*r/
16×pow1/3
14×+-commutative
13×associate-*l/
12×pow-unpow neg-sub0 associate-+l-
11×pow1/2 cbrt-div rem-sqrt-square frac-times sqrt-pow1
cos-diff swap-sqr
cube-prod pow-pow log-div
fma-udef sqr-pow neg-log neg-mul-1 sin-diff
log-pow
associate--l+ tan-quot rem-log-exp
rem-cube-cbrt pow-prod-up unpow2 pow-sqr unpow3 cube-mult acos-asin
acos-neg associate-+r+ associate--l- pow2 frac-add pow-plus distribute-frac-neg sin-mult frac-sub
sin-cos-mult pow3 hypot-udef distribute-rgt-out tanh-undef asin-acos cos-mult rem-cbrt-cube

series3.1s (2.3%)

Calls

20 calls:

243.0ms
(cos (fma (/ 2.0 3.0) PI (* (/ (* (cbrt (acos (/ (- g) h))) (cbrt (acos (/ (- g) h)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (acos (/ (- g) h))) (cbrt 3.0)))))
230.0ms
(cbrt (pow (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) 2))
181.0ms
(cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0)))
169.0ms
(pow (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) 3)
163.0ms
(pow (* (cbrt (pow (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))) 2)) (cbrt (cos (fma (/ 2.0 3.0) PI (/ (acos (/ (- g) h)) 3.0))))) 3)

prune2.1s (1.5%)

localize1.0s (0.8%)

regimes119.0ms (0.1%)

Accuracy

Total 0.0b remaining (58.7%)

Threshold costs 0.0b (58.7%)

0.0b0%2-ancestry mixing, negative discriminant

bsearch0.0ms (0.0%)

end0.0ms (0.0%)