Details

series11.0m (58.1%)

Calls

317 calls:

1.9m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
6.2s
(sqrt (fma i c (fma z t (fma y x (* a b)))))
5.7s
(sqrt (fma i c (fma z t (fma y x (* a b)))))
1.3s
(cbrt (* (cbrt (fma (log t) (- a 0.5) (+ (log (+ y x)) (- (log z) t)))) (cbrt (fma (log t) (- a 0.5) (+ (log (+ y x)) (- (log z) t))))))
1.2s
(* (cbrt (fma (log t) (- a 0.5) (+ (log (+ y x)) (- (log z) t)))) (cbrt (fma (log t) (- a 0.5) (+ (log (+ y x)) (- (log z) t)))))

simplify3.7m (19.6%)

sample2.1m (11.2%)

Algorithm
59×intervals
Results
33.4s264300×body80valid
25.2s207380×body80nan
20.7s21308×body1280valid
7.2s11271×body640valid
4.6s5370×body2560valid
2.4s4959×body320valid
842.0ms16512×pre80true
836.0ms2643×body160valid
228.0ms242×body5120valid

prune1.4m (7.5%)

regimes21.9s (1.9%)

Accuracy

Total 32.0b remaining (24.2%)

Threshold costs 5.0b (3.7%)

5.9b4.4%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.3b14%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.1b87.9%The quadratic formula (r1)
3.9b5.4%Linear.Matrix:det33 from linear-1.19.1.3
3.7b87.2%NMSE problem 3.2.1

rewrite10.8s (0.9%)

Algorithm
99×rewrite-expression-head
Calls

319 calls:

486.0ms
(/ (- (sqrt (- (* b b) (* (* 4.0 c) a))) b) a)
265.0ms
(- (+ (/ x y) (/ 4.0 y)) (/ (* x z) y))
245.0ms
(* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2)))) (* x (pow sin (/ 2.0 2)))))
241.0ms
(- (+ (/ x y) (/ 4.0 y)) (* (/ x y) z))
217.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2)))) (* x (pow sin (/ 2.0 2))))))
Rules
4918×times-frac
4836×*-un-lft-identity
4458×add-exp-log
4269×add-sqr-sqrt
3458×add-cube-cbrt
3112×prod-exp
1098×add-cbrt-cube
941×cbrt-prod
870×prod-diff
782×pow1
771×pow-exp pow-to-exp
751×div-exp
715×distribute-rgt-neg-in
675×distribute-lft-neg-in
506×associate-*r*
446×add-log-exp
428×associate-*l*
370×cbrt-unprod
347×distribute-lft-out--
337×associate-/l*
319×expm1-log1p-u log1p-expm1-u
314×div-inv
303×distribute-lft-out
282×sqrt-prod
281×tan-quot
275×associate-/r*
250×swap-sqr
238×difference-of-squares
225×frac-times
217×neg-mul-1
191×pow-prod-down
163×cbrt-div
153×cbrt-undiv fma-neg
141×flip-+ flip3-+
135×unswap-sqr
127×flip-- flip3--
113×associate-*l/
109×associate-+r+ frac-add
104×associate-*r/
99×pow1/3
97×exp-sum
95×fma-def
94×associate-/r/
92×*-commutative
78×distribute-rgt-in distribute-lft-in
71×fma-udef
67×log-prod
66×sqrt-div
64×unpow-prod-down
59×sub-neg
56×frac-2neg clear-num
43×sqrt-pow1
42×pow1/2
41×exp-prod
36×pow-prod-up associate-/l/ diff-log
31×rem-sqrt-square
28×log-pow
26×pow-sqr
25×sum-log
24×pow-plus
22×sqr-pow sin-mult
21×frac-sub
20×1-exp rec-exp
18×neg-sub0 distribute-neg-frac
17×rem-exp-log
16×cos-mult pow2
15×associate--l+
14×+-commutative div-sub distribute-frac-neg
12×distribute-rgt-out
11×sub-div
8×neg-log
7×exp-diff pow-unpow
6×associate-+l- log-div
5×associate-+l+
4×associate-+r- pow-flip pow3 associate--l- inv-pow exp-to-pow
3×pow-pow un-div-inv
2×sqrt-unprod tan-sum cos-sum rem-cbrt-cube
1×distribute-lft-neg-out distribute-rgt-neg-out distribute-rgt-out-- rem-square-sqrt sqr-neg rem-log-exp

localize6.2s (0.5%)

bsearch2.4s (0.2%)

end2.0ms (0.0%)