Details

series11.2m (55.4%)

Calls

336 calls:

13.4s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j)))))
940.0ms
(* (cbrt x) (* (cbrt x) (- (* z y) (* t a))))
930.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
913.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
824.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt x) (* (cbrt x) (- (* z y) (* t a)))) (cbrt x))))

simplify4.6m (22.6%)

sample2.1m (10.6%)

Algorithm
59×intervals
Results
34.4s263147×body80valid
24.5s208371×body80nan
19.8s21285×body1280valid
6.8s11034×body640valid
5.1s5239×body2560valid
3.1s5235×body320valid
1.1s16512×pre80true
1.0s2502×body160valid
524.0ms244×body5120valid

prune1.6m (7.7%)

regimes21.9s (1.8%)

Accuracy

Total 26.9b 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.4s (1.2%)

Algorithm
100×rewrite-expression-head
Calls

338 calls:

524.0ms
(* (* (* (* (cbrt x) (cbrt x)) y) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (/ (cbrt (cbrt x)) (cbrt z)))
407.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
347.0ms
(- (sqrt (- (* b b) (* 4.0 (* c a)))) b)
347.0ms
(* (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))) x)
308.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
Rules
5938×*-un-lft-identity
5748×times-frac
5049×add-sqr-sqrt
4035×add-cube-cbrt
3908×add-exp-log
2724×prod-exp
1783×prod-diff
1216×add-cbrt-cube
844×pow1
707×distribute-rgt-neg-in
643×distribute-lft-neg-in
634×associate-*r*
599×pow-exp
597×pow-to-exp
498×div-exp
472×cbrt-unprod add-log-exp
470×cbrt-prod
457×distribute-lft-out--
431×distribute-lft-out
416×div-inv
402×sqrt-prod
391×associate-*l*
367×difference-of-squares
338×expm1-log1p-u log1p-expm1-u
321×swap-sqr
260×associate-/r*
253×fma-neg
249×associate-/l*
201×pow-prod-down
192×flip3-- flip--
190×cbrt-undiv
165×neg-mul-1
154×associate--r+
141×cbrt-div
123×associate-/r/
122×associate-*r/
107×associate-*l/
93×unswap-sqr log-pow
86×distribute-rgt-in distribute-lft-in
81×*-commutative
76×fma-def
74×sqrt-div
73×log-prod pow1/3
67×sub-neg
61×unpow-prod-down
57×frac-times frac-2neg clear-num
55×diff-log
52×flip-+ flip3-+
50×sqrt-pow1
49×pow1/2
45×fma-udef
44×associate-+r+
40×associate-/l/
39×rem-sqrt-square tan-quot
35×associate-+l+
32×1-exp rec-exp
31×frac-sub exp-sum
27×frac-add
24×sum-log
23×sqr-pow
20×associate--l+ sin-mult
18×log-div
17×unpow-prod-up pow-prod-up
16×distribute-frac-neg
15×exp-prod
13×cos-mult pow-unpow
12×pow-flip
11×neg-sub0 +-commutative pow-plus pow-sqr
10×associate-+r- sub-div div-sub associate-+l-
9×inv-pow rem-exp-log
8×distribute-neg-frac
7×pow2
6×neg-log associate--r-
5×distribute-lft-neg-out un-div-inv
4×exp-diff distribute-rgt-neg-out pow-pow distribute-rgt-out--
3×associate--l- pow3 rem-log-exp
2×sqrt-unprod tan-sum sqr-neg cos-sum rem-cbrt-cube e-exp-1 pow-sub
1×+-inverses exp-to-pow rem-square-sqrt

localize6.1s (0.5%)

bsearch1.4s (0.1%)

end1.0ms (0.0%)