Details

series10.9m (54.3%)

Calls

346 calls:

1.7s
(/ y (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (fma b -1 b)))))
1.7s
(/ 1 (/ y (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (fma b -1 b))))))
1.6s
(/ (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (fma b -1 b)))) y)
1.1s
(/ 1 (/ (fma y (fma (fma (+ y a) y b) y c) i) (fma y (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) t)))
825.0ms
(/ (fma (+ (* (tan z) (tan y)) -1) (sin a) (* (+ (tan y) (tan z)) (cos a))) (* (- 1 (* (tan y) (tan z))) (cos a)))

simplify5.3m (26.3%)

sample2.2m (11.0%)

Algorithm
59×intervals
Results
36.3s262903×body80valid
26.3s206764×body80nan
20.0s21353×body1280valid
8.8s10886×body640valid
5.5s5275×body2560valid
2.9s5178×body320valid
895.0ms16512×pre80true
740.0ms2548×body160valid
142.0ms227×body5120valid

prune1.1m (5.6%)

rewrite17.2s (1.4%)

Algorithm
104×rewrite-expression-head
Calls

350 calls:

812.0ms
(* (* (* (cbrt (- (+ f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ 1 (- f n))))
706.0ms
(/ 1 (/ y (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (fma b -1 b))))))
331.0ms
(/ (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (fma b -1 b)))) y)
319.0ms
(/ y (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (fma b -1 b)))))
317.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
Rules
6010×times-frac
5962×add-sqr-sqrt
5763×*-un-lft-identity
4567×add-cube-cbrt
2857×add-exp-log
2167×prod-diff
1675×prod-exp
1242×add-cbrt-cube
865×pow1
793×associate-*r*
678×cbrt-prod
561×associate-*l*
531×div-exp
503×sqrt-prod
480×add-log-exp
459×div-inv
423×distribute-rgt-in distribute-lft-in
415×difference-of-squares
413×distribute-lft-out--
395×cbrt-unprod
389×distribute-rgt-neg-in
378×distribute-lft-neg-in
374×associate-/r*
352×expm1-log1p-u
351×log1p-expm1-u
348×associate--l+
340×pow-exp
339×pow-to-exp
284×associate-/l*
266×fma-neg
230×pow-prod-down
229×distribute-lft-out
190×cbrt-undiv
183×unswap-sqr
169×flip3-- flip--
165×unpow-prod-up
153×associate-*l/
139×associate-/r/
138×unpow-prod-down
133×fma-def
122×frac-times
115×associate-*r/
110×cbrt-div
108×tan-quot
103×*-commutative
90×sub-neg
83×pow1/3
79×log-prod
77×neg-mul-1
69×clear-num frac-2neg
62×associate-+l+
60×sqrt-div
56×sqr-pow
53×flip-+ flip3-+
51×log-pow
49×sqrt-pow1
46×diff-log
45×pow1/2 1-exp rec-exp
44×swap-sqr
39×associate-+r+
38×rem-sqrt-square distribute-neg-frac
37×fma-udef
33×associate-/l/
30×exp-sum
29×pow-unpow
27×frac-sub
25×exp-prod sum-log
23×pow-prod-up
20×distribute-rgt-out--
17×pow-sqr
16×sub-div
15×sin-mult
14×+-commutative associate-+l-
13×pow-plus div-sub
12×un-div-inv inv-pow frac-add pow-flip cos-mult
11×neg-sub0 pow-pow
10×log-div
9×cube-prod neg-log
8×rem-exp-log pow2
5×sqrt-unprod
4×exp-diff associate--l- asin-acos
3×cube-div rem-cube-cbrt unpow3 log1p-udef log1p-expm1 pow-sub expm1-log1p cube-mult expm1-udef
2×cos-sum associate--r- distribute-frac-neg tan-sum rem-log-exp
1×pow3 associate-+r- acos-asin rem-cbrt-cube

regimes11.0s (0.9%)

Accuracy

Total 30.1b remaining (23.7%)

Threshold costs 4.4b (3.5%)

9.5b12.8%Linear.Matrix:det33 from linear-1.19.1.3
4.6b84.1%The quadratic formula (r1)
2.9b47.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.1b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.9b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

localize4.1s (0.3%)

bsearch1.5s (0.1%)

end0.0ms (0.0%)