Details

series10.8m (36.9%)

Calls

308 calls:

4.2s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
4.1s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
915.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
699.0ms
(- (sqrt (fma b b (* (* a -4) c))) b)
631.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

prune8.3m (28.3%)

simplify6.6m (22.6%)

sample2.6m (9.0%)

Algorithm
58×intervals
Results
48.9s254189×body80valid
32.8s205462×body80nan
30.8s21694×body1280valid
11.8s10988×body640valid
6.4s5336×body2560valid
3.5s5067×body320valid
1.3s16512×pre80true
985.0ms2384×body160valid
966.0ms215×body5120valid

rewrite30.5s (1.7%)

Algorithm
96×rewrite-expression-head
Calls

309 calls:

1.3s
(- (/ (/ (sqrt (sqrt (fma -4 (* c a) (* b b)))) 1) (/ a (/ (sqrt (sqrt (fma -4 (* c a) (* b b)))) 2))) (/ (/ b 2) a))
274.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
246.0ms
(* (* (* (* x 18.0) y) z) t)
199.0ms
(/ (* 2 (- (* (/ (* (cbrt a) (cbrt a)) (* (cbrt b) (cbrt b))) (* (/ (cbrt a) (cbrt b)) c)) b)) (* 2 a))
191.0ms
(/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))
Rules
704647×times-frac
321083×add-sqr-sqrt
320535×*-un-lft-identity
319515×add-cube-cbrt
228747×sqrt-prod
136152×prod-diff
22859×div-inv
3345×fma-neg
1543×associate-/r/
1482×add-exp-log
1335×add-cbrt-cube
1287×pow1
654×associate-+r+
542×associate-*r*
510×prod-exp
482×cbrt-unprod
459×add-log-exp
446×exp-prod
437×pow-prod-down
407×difference-of-squares
366×associate-*l*
354×distribute-rgt-neg-in
345×distribute-lft-neg-in
318×associate-/r*
309×expm1-log1p-u log1p-expm1-u insert-posit16
293×div-exp
274×associate-/l* distribute-lft-out--
262×log-pow
253×exp-sum cbrt-prod
245×cbrt-undiv
242×distribute-lft-out
158×sqrt-pow1
136×flip3-- flip--
131×unswap-sqr
128×associate-*r/
113×tan-quot
105×associate-*l/
99×sub-neg
97×*-commutative neg-mul-1
86×pow-prod-up
84×distribute-rgt-in distribute-lft-in
73×frac-times
66×pow-sqr
60×log-prod
58×frac-2neg clear-num diff-log
56×fma-def
53×associate-/l/ fma-udef
49×sin-mult
46×pow-plus
43×frac-sub
42×cos-mult pow1/3
40×flip-+ flip3-+
36×associate-+l+
29×1-exp div-sub
27×associate--l+ pow2
26×pow1/2
25×rec-exp rem-exp-log
24×frac-add
22×sqrt-div rem-sqrt-square
20×exp-diff
19×swap-sqr
18×sum-log
17×cbrt-div sub-div
14×neg-sub0 log-div
10×pow-flip distribute-frac-neg
9×+-commutative inv-pow associate-+l-
7×associate--l- exp-neg distribute-rgt-out-- cos-2
6×un-div-inv unpow-prod-down
5×neg-log
4×pow-unpow distribute-neg-frac e-exp-1
3×associate-+r- rem-log-exp distribute-rgt-out
2×pow-exp sqr-pow pow-pow tan-sum exp-to-pow pow-to-exp remove-posit16 cos-sum
1×distribute-lft-neg-out log-rec difference-of-sqr-1 sqrt-unprod unpow2

regimes16.9s (1.0%)

Accuracy

Total 38.2b remaining (29.9%)

Threshold costs 3.8b (2.9%)

8.7b11%Linear.Matrix:det33 from linear-1.19.1.3
4.9b82.2%The quadratic formula (r1)
4.6b83.6%NMSE problem 3.2.1
3.9b31.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.7b31.3%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

localize5.4s (0.3%)

bsearch3.8s (0.2%)

end0.0ms (0.0%)