Details

simplify4.7m (40.3%)

sample2.6m (22.5%)

Algorithm
60×intervals
Results
1.1m337600×body80valid
25.0s209675×body80nan
18.9s21587×body1280valid
7.2s10815×body640valid
4.8s5361×body2560valid
2.6s5270×body320valid
1.2s16512×pre80true
1.2s2496×body160valid
118.0ms205×body5120valid

prune2.0m (16.6%)

series1.5m (12.6%)

Calls

359 calls:

10.4s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j)))))
6.1s
(sqrt (fma z t (fma x y (fma c i (* a b)))))
6.1s
(sqrt (fma z t (fma x y (fma c i (* a b)))))
982.0ms
(fma (/ (* (cbrt (- a x)) (cbrt (- a x))) (/ (* (cbrt (+ (- 1.0 z) t)) (cbrt (+ (- 1.0 z) t))) 1)) (/ (cbrt (- a x)) (/ (cbrt (+ (- 1.0 z) t)) (- y z))) x)
889.0ms
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (* (cbrt (* (- (* z y) (* t a)) x)) (cbrt (* (- (* z y) (* t a)) x))) (* (cbrt (- (* z y) (* t a))) (cbrt x)))))

regimes33.9s (4.8%)

Accuracy

Total 39.8b remaining (25.9%)

Threshold costs 3.8b (2.5%)

9.3b-18.7%Linear.Matrix:det33 from linear-1.19.1.3
8.2b-4.5%Linear.Matrix:det44 from linear-1.19.1.3
4.6b84.1%NMSE problem 3.2.1
4.3b85.3%The quadratic formula (r1)
3.8b26.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite13.5s (1.9%)

Algorithm
106×rewrite-expression-head
Calls

359 calls:

647.0ms
(* (* (* (* z (* t x)) y) (sqrt 18.0)) (sqrt 18.0))
328.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
308.0ms
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
305.0ms
(+ (/ (- a x) (/ (+ (- 1.0 z) t) (- y z))) x)
304.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
Rules
8293×times-frac
7361×*-un-lft-identity
6740×add-sqr-sqrt
5546×add-cube-cbrt
4201×add-exp-log
2809×prod-exp
2307×prod-diff
1331×add-cbrt-cube
1051×cbrt-prod
1023×sqrt-prod
901×pow1
648×div-exp
633×associate-*r*
600×distribute-rgt-neg-in
585×pow-exp
584×pow-to-exp
578×distribute-lft-neg-in
527×cbrt-unprod
515×distribute-lft-out
512×associate-*l*
509×add-log-exp
466×distribute-lft-out--
453×div-inv
407×associate-/r*
373×difference-of-squares
359×expm1-log1p-u log1p-expm1-u
292×associate-/l*
273×flip3-- fma-neg flip--
255×associate-/r/
248×cbrt-undiv
220×neg-mul-1
215×pow-prod-down
211×fma-def
142×unswap-sqr
133×associate--r+
129×cbrt-div
117×frac-times
110×distribute-rgt-in distribute-lft-in
105×associate-*l/
101×unpow-prod-up
96×unpow-prod-down
94×pow1/3
91×sub-neg
90×*-commutative
88×associate-*r/
85×log-pow
78×associate-+r+
77×flip-+ flip3-+
76×exp-sum 1-exp swap-sqr
74×sqrt-pow1
63×pow1/2
62×log-prod
61×frac-2neg clear-num
60×diff-log
54×sqrt-div
51×exp-prod
49×associate-+l+ fma-udef
48×rem-sqrt-square
41×sqr-pow
40×rec-exp
36×associate-/l/
33×tan-quot
32×pow-prod-up
31×pow-unpow
26×sin-mult
25×frac-sub
24×pow-sqr
22×associate--l+
21×sum-log pow-pow
20×cos-mult
18×pow-plus
16×distribute-rgt-out--
15×sub-div
14×pow2 div-sub rem-exp-log
13×neg-sub0
12×associate-+r-
10×associate-+l-
pow-flip +-commutative inv-pow
log-div
neg-log pow-sub
associate--l-
distribute-neg-frac
exp-diff sqrt-unprod un-div-inv distribute-frac-neg rem-log-exp
expm1-udef tan-sum rem-square-sqrt cos-sum associate--r-
expm1-log1p pow3 exp-to-pow frac-add e-exp-1

localize6.6s (0.9%)

bsearch2.5s (0.4%)

end0.0ms (0.0%)