Details

series11.1m (54.8%)

Calls

336 calls:

4.1s
(fma (* (* t (* z y)) 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.5s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.2s
(fma (* (* t (* z y)) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j))))))
1.2s
(/ (* (/ 1 (cbrt (fma (fma (fma (+ y a) y b) y c) y i))) (/ (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 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify5.4m (26.8%)

sample2.1m (10.4%)

Algorithm
59×intervals
Results
33.5s262865×body80valid
26.0s209930×body80nan
18.7s21463×body1280valid
8.3s10713×body640valid
5.3s5335×body2560valid
3.0s5424×body320valid
1.1s16512×pre80true
759.0ms2371×body160valid
147.0ms234×body5120valid

prune57.1s (4.7%)

rewrite23.0s (1.9%)

Algorithm
102×rewrite-expression-head
Calls

338 calls:

3.2s
(* (* x (* (* (/ (/ (pow a t) (pow a 1.0)) (exp b)) (pow z y)) (exp (+ b (- b))))) (/ 1 y))
2.1s
(* (* 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))
827.0ms
(* x (* (* (/ (/ (pow a t) (pow a 1.0)) (exp b)) (pow z y)) (exp (+ b (- b)))))
512.0ms
(* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (+ b (- b)))))
Rules
4098×add-sqr-sqrt
4026×*-un-lft-identity
3529×add-exp-log
3201×times-frac
3098×add-cube-cbrt
2419×prod-exp
1375×prod-diff
1209×add-cbrt-cube
995×cbrt-prod
869×div-exp
849×pow1
642×associate-*r*
632×associate-*l*
552×sqrt-prod
513×pow-exp
512×pow-to-exp
491×add-log-exp
441×cbrt-unprod
339×log1p-expm1-u
338×distribute-rgt-neg-in expm1-log1p-u
330×distribute-lft-neg-in
312×unpow-prod-down
299×fma-neg
262×difference-of-squares
257×distribute-lft-out
251×associate-/l*
250×distribute-lft-out--
224×div-inv
218×pow-prod-down
212×associate-/r*
198×unswap-sqr
186×associate-+r+
174×flip3-- flip--
166×cbrt-undiv
158×associate-*r/
142×associate-/r/
138×sqr-pow
129×associate-*l/
124×distribute-rgt-in distribute-lft-in
116×cbrt-div
107×*-commutative
104×1-exp
94×pow1/3 sub-neg
87×log-prod
82×neg-mul-1 swap-sqr
77×frac-times
75×rec-exp
73×log-pow
69×sqrt-pow1
64×exp-sum
62×exp-prod
61×diff-log
56×fma-def
52×sqrt-div
51×frac-2neg clear-num
50×exp-diff
45×flip-+ unpow-prod-up flip3-+
40×pow1/2 associate-/l/
38×associate-+l+
35×tan-quot
34×fma-udef
28×sin-mult pow-prod-up
27×rem-sqrt-square
25×sum-log
24×pow-unpow neg-sub0
22×frac-sub cos-mult
20×pow-sqr
18×associate-+r-
16×rem-exp-log
15×pow-pow
12×sub-div unsub-neg pow-plus
11×frac-add +-commutative cube-prod associate--l+ distribute-neg-frac
10×div-sub
9×associate-+l-
8×pow2 log-div
7×associate--l- unpow3 cube-mult neg-log
5×un-div-inv distribute-neg-in distribute-frac-neg
4×inv-pow pow-flip
3×cube-div rem-cube-cbrt distribute-rgt-out distribute-rgt-out--
2×cos-sum sqrt-unprod exp-neg unpow2 tan-sum rem-cbrt-cube
1×pow-div sqrt-pow2 log1p-udef pow3 log1p-expm1 pow-sub expm1-log1p rem-square-sqrt acos-asin expm1-udef

regimes10.5s (0.9%)

Accuracy

Total 26.9b remaining (25.7%)

Threshold costs 7.1b (6.8%)

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

localize4.2s (0.3%)

bsearch3.0s (0.2%)

end1.0ms (0.0%)