Details

prune4.1m (28.1%)

sample3.3m (22.8%)

Algorithm
60×intervals
Results
1.4m334146×body80valid
33.6s207561×body80nan
29.9s21747×body1280valid
10.7s10762×body640valid
6.6s5338×body2560valid
3.9s5131×body320valid
1.1s16512×pre80true
950.0ms2453×body160valid
232.0ms231×body5120valid

simplify3.3m (22.1%)

series3.2m (21.9%)

Calls

342 calls:

Slowest
1.9m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
3.8s
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))
3.6s
(fma (- (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.6s
(fma (- (* (* (* x 18.0) y) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.5s
(fma (- (* (* 18.0 (* x y)) z) (* a 4.0)) t (- (* c b) (* (* (cbrt (fma k (* 27.0 j) (* (* x 4.0) i))) (cbrt (fma k (* 27.0 j) (* (* x 4.0) i)))) (cbrt (fma k (* 27.0 j) (* (* x 4.0) i))))))

regimes23.6s (2.7%)

Accuracy

Total 35.9b remaining (19.3%)

Threshold costs 4.7b (2.5%)

9.1b-8.2%Linear.Matrix:det44 from linear-1.19.1.3
5.1b0.3%Linear.Matrix:det33 from linear-1.19.1.3
4.3b84%NMSE problem 3.2.1
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.8b40.8%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite11.5s (1.3%)

Algorithm
102×rewrite-expression-head
Calls

342 calls:

Slowest
1.4s
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
610.0ms
(cos (+ a b))
492.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))))
317.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
228.0ms
(* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)))
Rules
13445×times-frac
9879×add-sqr-sqrt
9591×*-un-lft-identity
8526×add-cube-cbrt
4812×prod-diff
2345×add-exp-log
1851×sqrt-prod
1433×add-cbrt-cube
1148×pow1
1088×prod-exp
765×div-inv
529×associate-*l*
514×div-exp
511×add-log-exp
506×cbrt-unprod
457×associate-*r*
451×difference-of-squares
448×cbrt-prod
385×pow-prod-down
374×fma-neg
342×expm1-log1p-u log1p-expm1-u insert-posit16
340×distribute-lft-out--
328×associate-/r*
272×associate-/l*
265×cbrt-undiv
253×distribute-rgt-neg-in
238×distribute-rgt-in distribute-lft-in
226×distribute-lft-neg-in
200×flip3-- flip--
183×distribute-lft-out
153×associate-/r/
152×unswap-sqr
132×1-exp rec-exp
126×pow-exp
120×pow-to-exp
115×unpow-prod-down
105×associate-*r/
97×exp-sum
95×frac-times
93×*-commutative
91×sub-neg
90×associate-*l/
89×associate-+r+
86×pow1/3
83×pow-prod-up
82×swap-sqr
79×associate--r+
74×neg-mul-1
68×diff-log
65×sin-mult
63×cos-mult frac-sub frac-2neg clear-num
61×pow-sqr
49×cbrt-div fma-udef
43×exp-prod
39×log-prod associate-/l/
36×flip-+ flip3-+
33×fma-def
30×tan-quot sqrt-div sqr-pow
28×pow-flip
27×sqrt-pow1 inv-pow pow1/2 log-pow
26×pow-plus
25×rem-exp-log
23×rem-sqrt-square
21×sub-div
20×sum-log difference-of-sqr-1
19×unpow-prod-up
18×pow-unpow pow2
17×associate--l+
13×exp-diff
12×div-sub expm1-def
11×un-div-inv
10×pow-pow frac-add
9×neg-sub0 +-commutative
8×associate--l- distribute-rgt-out--
6×cube-prod neg-log
5×rem-cube-cbrt
4×distribute-rgt-out log-div
3×distribute-frac-neg associate--r-
2×distribute-lft-neg-out associate-+r- pow3 cos-sum tan-sum distribute-neg-frac sqrt-pow2 e-exp-1
1×unpow3 sqrt-unprod cube-mult cos-2 remove-posit16 cube-div rem-log-exp rem-cbrt-cube pow-sub

localize5.5s (0.6%)

bsearch4.5s (0.5%)

end2.0ms (0.0%)