Details

series11.2m (56.1%)

Calls

337 calls:

12.7s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j)))))
917.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt x) (* (cbrt x) (- (* z y) (* t a)))) (cbrt x))))
872.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z)))) (sin a))) (* (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z)))) (cos a)))
789.0ms
(/ (fma (fma y (fma (+ y a) y b) c) y i) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
784.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))

simplify4.6m (22.9%)

sample1.9m (9.7%)

Algorithm
59×intervals
Results
33.7s263147×body80valid
23.3s208371×body80nan
18.5s21285×body1280valid
8.0s11034×body640valid
5.1s5239×body2560valid
2.8s5235×body320valid
1.4s16512×pre80true
1.2s2502×body160valid
169.0ms244×body5120valid

prune1.5m (7.8%)

regimes21.3s (1.8%)

Accuracy

Total 26.8b remaining (20%)

Threshold costs 4.9b (3.7%)

5.9b2.9%Linear.Matrix:det33 from linear-1.19.1.3
3.5b15.5%cos(2*x)/(cos^2(x)*sin^2(x))
3.5b85.4%The quadratic formula (r1)
3.2b32.8%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
1.3b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite14.0s (1.2%)

Algorithm
100×rewrite-expression-head
Calls

339 calls:

439.0ms
(* (* (* (* (cbrt x) (cbrt x)) y) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (/ (cbrt (cbrt x)) (cbrt z)))
344.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
307.0ms
(* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) x) (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2)))))
295.0ms
(* (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))) x)
292.0ms
(* (* (/ x y) (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z))))) (cbrt z))
Rules
5932×*-un-lft-identity
5685×times-frac
5050×add-sqr-sqrt
4028×add-cube-cbrt
3956×add-exp-log
2755×prod-exp
1809×prod-diff
1240×add-cbrt-cube
866×pow1
717×distribute-rgt-neg-in
648×distribute-lft-neg-in
611×associate-*r*
599×pow-exp
597×pow-to-exp
503×div-exp cbrt-unprod
481×cbrt-prod
473×add-log-exp
467×distribute-lft-out--
437×sqrt-prod
423×distribute-lft-out
419×associate-*l*
416×div-inv
377×difference-of-squares
339×expm1-log1p-u log1p-expm1-u
321×swap-sqr
257×associate-/r*
242×fma-neg
240×associate-/l*
216×pow-prod-down
195×cbrt-undiv
192×flip3-- flip--
168×neg-mul-1
154×associate--r+
141×cbrt-div
123×associate-/r/
117×associate-*l/
111×associate-*r/
93×log-pow
89×unswap-sqr
86×distribute-rgt-in distribute-lft-in
82×*-commutative
75×pow1/3
74×sqrt-div
73×log-prod fma-def
66×sub-neg
61×unpow-prod-down
57×frac-times
56×frac-2neg clear-num diff-log
50×sqrt-pow1 flip-+ flip3-+
49×pow1/2
45×fma-udef
39×rem-sqrt-square tan-quot
38×associate-/l/
35×associate-+l+
32×1-exp rec-exp
31×frac-sub exp-sum
29×associate-+r+
25×frac-add
23×sum-log sqr-pow
21×associate--l+
20×sin-mult
18×log-div
17×unpow-prod-up pow-prod-up
15×distribute-frac-neg exp-prod
13×cos-mult pow-unpow
12×pow-flip
11×neg-sub0 pow-plus pow-sqr
10×+-commutative div-sub associate-+l-
9×associate-+r- inv-pow rem-exp-log
7×neg-log sub-div pow2
6×distribute-neg-frac associate--r-
5×distribute-lft-neg-out un-div-inv
4×exp-diff associate--l- distribute-rgt-neg-out pow-pow
3×pow3 rem-log-exp distribute-rgt-out
2×sqrt-unprod tan-sum distribute-rgt-out-- sqr-neg cos-sum rem-cbrt-cube e-exp-1 pow-sub
1×+-inverses exp-to-pow rem-square-sqrt

localize5.9s (0.5%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)