Details

series10.7m (39.2%)

Calls

308 calls:

4.0s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
3.9s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
729.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
582.0ms
(sqrt (fma -4 (* c a) (* b b)))
576.0ms
(/ (* r (sin b)) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b)))))

prune6.6m (24.2%)

simplify6.4m (23.5%)

sample2.6m (9.4%)

Algorithm
58×intervals
Results
45.9s254189×body80valid
32.3s205462×body80nan
29.2s21694×body1280valid
13.0s10988×body640valid
6.9s5336×body2560valid
3.2s5067×body320valid
1.6s2384×body160valid
1.2s16512×pre80true
191.0ms215×body5120valid

rewrite34.6s (2.1%)

Algorithm
96×rewrite-expression-head
Calls

309 calls:

1.2s
(- (/ (/ (sqrt (sqrt (fma -4 (* c a) (* b b)))) 1) (/ a (/ (sqrt (sqrt (fma -4 (* c a) (* b b)))) 2))) (/ (/ b 2) a))
505.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
283.0ms
(* (* (* (* x 18.0) y) z) t)
217.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
203.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
704656×times-frac
321059×add-sqr-sqrt
320544×*-un-lft-identity
319509×add-cube-cbrt
228750×sqrt-prod
136146×prod-diff
22860×div-inv
3335×fma-neg
1543×associate-/r/
1465×add-exp-log
1328×add-cbrt-cube
1270×pow1
657×associate-+r+
526×associate-*r*
499×prod-exp
471×cbrt-unprod
458×add-log-exp
446×exp-prod
424×pow-prod-down
407×difference-of-squares
348×distribute-rgt-neg-in
347×associate-*l*
339×distribute-lft-neg-in
309×expm1-log1p-u log1p-expm1-u insert-posit16
308×associate-/r*
293×div-exp
284×associate-/l*
278×distribute-lft-out--
270×log-pow
253×exp-sum
249×distribute-lft-out
245×cbrt-undiv
227×cbrt-prod
160×sqrt-pow1
133×flip3-- flip--
121×unswap-sqr
120×associate-*r/
113×tan-quot
105×associate-*l/
95×neg-mul-1
93×*-commutative
91×sub-neg
82×pow-prod-up
73×frac-times
68×log-prod
66×distribute-rgt-in distribute-lft-in
62×fma-def pow-sqr
58×frac-2neg clear-num
57×diff-log
55×fma-udef
54×associate-+l+
53×associate-/l/
49×sin-mult
44×pow-plus
43×frac-sub
42×cos-mult flip-+ flip3-+
32×associate--l+
30×pow1/3 div-sub
29×1-exp
28×pow1/2
25×rec-exp pow2 rem-exp-log
24×sqrt-div frac-add
23×rem-sqrt-square
20×sum-log exp-diff
18×cbrt-div
17×sub-div
16×log-div
14×neg-sub0
12×pow-flip
11×distribute-frac-neg
10×+-commutative associate-+l-
9×inv-pow unpow-prod-down
8×associate--l-
7×pow-unpow swap-sqr exp-neg distribute-rgt-out-- cos-2
6×un-div-inv
4×neg-log distribute-neg-frac e-exp-1
3×pow-exp associate-+r- sqr-pow pow-pow pow-to-exp rem-log-exp distribute-rgt-out
2×tan-sum exp-to-pow remove-posit16 cos-sum
1×distribute-lft-neg-out log-rec difference-of-sqr-1 sqrt-unprod unpow2 unpow1/3

regimes18.3s (1.1%)

Accuracy

Total 36.0b remaining (27.9%)

Threshold costs 3.8b (2.9%)

6.5b-7.3%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.4%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.1s (0.2%)

end0.0ms (0.0%)