Details

series11.2m (54.5%)

Calls

336 calls:

3.9s
(fma (* (* t (* z y)) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (pow (* 27.0 (* k j)) 1)))))
3.7s
(fma (* (* t (* z y)) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.7s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.6s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
1.4s
(/ (/ (/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (cbrt (fma (fma (fma (+ y a) y b) y c) y i))) (cbrt (fma (fma (fma (+ y a) y b) y c) y i))) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify5.6m (27.5%)

sample2.1m (10.2%)

Algorithm
59×intervals
Results
38.8s262865×body80valid
26.6s209930×body80nan
19.4s21463×body1280valid
7.3s10713×body640valid
5.3s5335×body2560valid
3.5s5424×body320valid
871.0ms16512×pre80true
778.0ms2371×body160valid
113.0ms234×body5120valid

prune1.0m (5.0%)

rewrite17.1s (1.4%)

Algorithm
102×rewrite-expression-head
Calls

338 calls:

1.1s
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
716.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
449.0ms
(* (* x (* (/ (* (pow a t) (pow a (- 1.0))) (exp b)) (pow z y))) (/ 1 y))
379.0ms
(- (+ (/ x y) (/ 4.0 y)) (* (/ x y) z))
363.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
Rules
5205×times-frac
4954×*-un-lft-identity
4865×add-sqr-sqrt
4034×add-cube-cbrt
3384×add-exp-log
2410×cbrt-prod
2298×prod-exp
1239×prod-diff
1124×add-cbrt-cube
808×pow1
643×associate-*r*
628×div-exp
515×distribute-rgt-neg-in
514×sqrt-prod
511×pow-exp
510×pow-to-exp
501×distribute-lft-neg-in
496×associate-*l*
495×add-log-exp
394×cbrt-unprod
369×associate-/l*
339×log1p-expm1-u
338×expm1-log1p-u
275×fma-neg
259×distribute-lft-out
256×div-inv
247×difference-of-squares
244×distribute-lft-out--
203×associate-/r*
195×pow-prod-down
194×associate-+r+
164×flip3-- flip--
153×unswap-sqr
148×cbrt-undiv
142×associate-/r/
135×unpow-prod-down
120×distribute-rgt-in distribute-lft-in
117×cbrt-div
111×swap-sqr
108×pow1/3
102×*-commutative
99×neg-mul-1
90×associate-*l/
89×fma-def sub-neg
86×associate-*r/
71×1-exp
70×log-pow
65×rec-exp
64×exp-sum
63×log-prod sqrt-pow1
62×exp-prod
61×sqr-pow
56×diff-log
52×sqrt-div
50×frac-2neg clear-num
46×frac-times
45×unpow-prod-up
44×flip-+ flip3-+
38×associate-+l+
37×pow1/2 associate-/l/
35×tan-quot
32×fma-udef sum-log
29×rem-sqrt-square pow-prod-up
28×sin-mult
23×distribute-neg-frac
22×cos-mult frac-sub
20×pow-sqr
18×pow-unpow
17×neg-sub0
16×rem-exp-log
14×exp-diff +-commutative
13×pow-pow associate-+l-
12×sub-div pow-plus
11×neg-log associate--l+
10×div-sub
8×pow2 log-div
7×frac-add associate--l-
6×un-div-inv associate-+r-
5×distribute-neg-in pow-flip distribute-frac-neg
4×inv-pow
3×cube-div distribute-rgt-out
2×rem-cube-cbrt cube-prod unpow3 pow-neg sqrt-unprod exp-neg pow-sub cube-mult tan-sum cos-sum
1×sqrt-pow2 log1p-udef pow3 log1p-expm1 expm1-log1p rem-square-sqrt acos-asin expm1-udef rem-cbrt-cube

regimes11.6s (0.9%)

Accuracy

Total 27.8b remaining (26.3%)

Threshold costs 6.5b (6.1%)

8.5b9.6%Linear.Matrix:det33 from linear-1.19.1.3
4.6b84.2%The quadratic formula (r1)
2.1b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
1.6b91.8%Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2

localize4.4s (0.4%)

bsearch2.3s (0.2%)

end1.0ms (0.0%)