Details

prune3.6m

simplify3.5m

sample3.3m

Algorithm
60×intervals
Results
1.4m336382×body80valid
33.2s206198×body80nan
28.5s21600×body1280valid
10.5s10888×body640valid
6.8s5405×body2560valid
3.6s5152×body320valid
1.6s2453×body160valid
1.5s16512×pre80true
222.0ms250×body5120valid

series3.1m

Calls

344 calls:

Slowest
1.9m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
5.0s
(sqrt (fma i c (fma a b (fma x y (* z t)))))
4.8s
(sqrt (fma i c (fma a b (fma x y (* z t)))))
4.2s
(fma (- (* (* (* x 18.0) y) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.9s
(fma (- (* 18.0 (* x (* z y))) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))

regimes22.1s

Accuracy

Total 41.8b remaining (24.7%)

Threshold costs 4.5b (2.7%)

9.7b-29.7%Linear.Matrix:det44 from linear-1.19.1.3
6.6b-13.6%Linear.Matrix:det33 from linear-1.19.1.3
5.3b0%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.5b84%NMSE problem 3.2.1
4.3b84.5%The quadratic formula (r1)

rewrite11.3s

Algorithm
104×rewrite-expression-head
Calls

344 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)
541.0ms
(/ (* x (* (sqrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
452.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
211.0ms
(* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)))
207.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
6010×*-un-lft-identity
5737×add-sqr-sqrt
5487×times-frac
4337×add-cube-cbrt
2454×prod-diff
1254×add-exp-log
1135×add-cbrt-cube
1113×pow1
524×associate-*r*
510×add-log-exp
474×distribute-lft-out
472×difference-of-squares
444×div-inv
435×sqrt-prod
412×associate-*l*
362×distribute-lft-out--
356×prod-exp
346×log1p-expm1-u
344×expm1-log1p-u insert-posit16
339×cbrt-unprod
331×distribute-rgt-in distribute-lft-in
311×associate-/r*
301×pow-prod-down
265×fma-neg
263×associate-/l*
244×associate-/r/
220×div-exp
185×cbrt-undiv flip3-- flip--
175×distribute-rgt-neg-in
169×cbrt-prod
165×distribute-lft-neg-in
159×log-prod
138×swap-sqr
117×exp-sum
116×flip-+ flip3-+ unswap-sqr
101×fma-def
92×*-commutative
89×sub-neg
88×pow-prod-up
86×associate-+r+
82×associate-*l/
81×associate-+l+
80×associate--l+
77×exp-prod
75×associate-*r/
72×log-pow
69×frac-times
64×frac-2neg clear-num
58×pow-sqr
57×diff-log
53×neg-mul-1 unpow-prod-down
52×pow1/3
50×fma-udef
49×pow-unpow
48×unpow-prod-up
47×sqrt-pow1 pow1/2
46×sqrt-div
45×pow-plus
42×associate-/l/
41×associate--r+
39×sum-log
38×frac-sub
34×rem-sqrt-square
33×tan-quot cbrt-div
30×pow2
25×difference-of-sqr-1
21×1-exp rec-exp
20×+-commutative
19×sin-mult
18×pow-exp distribute-rgt-out-- rem-exp-log log-div
17×cos-mult
16×div-sub
15×sqr-pow
12×pow-flip exp-diff sub-div pow-pow
11×pow-to-exp associate-+l-
10×inv-pow frac-add
9×neg-sub0
7×cube-prod associate--l-
6×neg-log pow-sub distribute-rgt-out
5×rem-log-exp associate--r-
4×associate-+r- e-exp-1
3×rem-cube-cbrt distribute-frac-neg
2×expm1-log1p expm1-udef pow3 sqrt-unprod cos-sum tan-sum distribute-neg-frac unpow2 un-div-inv cos-2
1×distribute-lft-neg-out sub0-neg log1p-expm1 unpow3 sqr-sin exp-to-pow unpow1/3 rem-square-sqrt remove-posit16 cube-div cube-mult acos-asin log1p-udef rem-cbrt-cube

localize5.8s

bsearch4.4s

end1.0ms