Details

series11.2m (53.0%)

Calls

339 calls:

3.6s
(fma (* (* t (* z y)) 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)))))
3.5s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.4s
(fma (* (* t (* z y)) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))))
1.3s
(/ (/ (/ (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.9m (28.0%)

sample2.2m (10.5%)

Algorithm
59×intervals
Results
37.0s262865×body80valid
25.6s209930×body80nan
20.8s21463×body1280valid
8.3s10713×body640valid
5.5s5335×body2560valid
2.6s5424×body320valid
694.0ms16512×pre80true
639.0ms2371×body160valid
132.0ms234×body5120valid

prune1.1m (5.2%)

rewrite24.0s (1.9%)

Algorithm
103×rewrite-expression-head
Calls

341 calls:

3.3s
(* (* x (* (* (/ (/ (pow a t) (pow a 1.0)) (exp b)) (pow z y)) (exp (+ b (- b))))) (/ 1 y))
2.4s
(* (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (+ b (- b))))) (/ 1 y))
1.0s
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
926.0ms
(* x (* (* (/ (/ (pow a t) (pow a 1.0)) (exp b)) (pow z y)) (exp (+ b (- b)))))
616.0ms
(* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (+ b (- b)))))
Rules
5733×times-frac
5245×*-un-lft-identity
5208×add-sqr-sqrt
4276×add-cube-cbrt
3495×add-exp-log
2444×cbrt-prod
2398×prod-exp
1270×prod-diff
1194×add-cbrt-cube
864×div-exp
822×pow1
638×associate-*r*
635×associate-*l*
544×distribute-rgt-neg-in
518×sqrt-prod
515×distribute-lft-neg-in
513×pow-exp
511×pow-to-exp
486×add-log-exp
424×cbrt-unprod
419×associate-/l*
342×log1p-expm1-u
341×expm1-log1p-u
331×unpow-prod-down
269×fma-neg
263×distribute-lft-out distribute-lft-out-- div-inv
257×difference-of-squares
223×associate-/r*
203×pow-prod-down
194×associate-+r+
174×unswap-sqr
170×cbrt-undiv
165×flip3-- flip--
148×associate-/r/
145×sqr-pow
140×associate-*r/
120×distribute-rgt-in distribute-lft-in
119×associate-*l/
117×cbrt-div
108×pow1/3
105×swap-sqr
104×neg-mul-1
101×*-commutative 1-exp
80×sub-neg
79×fma-def
75×frac-times
72×rec-exp
70×log-pow
63×log-prod
56×sqrt-pow1
54×clear-num frac-2neg
53×diff-log
46×unpow-prod-up sqrt-div
45×flip-+ flip3-+ exp-prod
43×exp-diff associate-/l/
41×fma-udef
38×associate-+l+
36×pow1/2
35×tan-quot
32×exp-sum
29×sum-log
28×rem-sqrt-square neg-sub0 sin-mult
27×pow-prod-up
23×distribute-neg-frac
22×cos-mult
21×pow-unpow
19×pow-sqr frac-sub
18×associate-+r-
14×pow-pow
13×+-commutative associate-+l-
12×rem-exp-log sub-div unsub-neg pow-plus
10×div-sub associate--l+
9×neg-log
8×pow2 associate--l- log-div
6×un-div-inv frac-add
5×unpow3 cube-mult distribute-frac-neg cube-prod
3×cube-div inv-pow pow-flip
2×rem-cube-cbrt sqrt-unprod exp-neg tan-sum cos-sum
1×pow-div sqrt-pow2 e-exp-1 log1p-udef pow3 log1p-expm1 pow-sub expm1-log1p rem-square-sqrt distribute-rgt-out acos-asin expm1-udef rem-cbrt-cube

regimes11.5s (0.9%)

Accuracy

Total 26.5b remaining (25.4%)

Threshold costs 7.1b (6.8%)

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

localize3.9s (0.3%)

bsearch3.5s (0.3%)

end1.0ms (0.0%)