Details

series10.7m (46.3%)

Calls

310 calls:

1.6s
(fma (/ (+ (tan y) (tan z)) (- (pow 1 3) (pow (* (tan y) (tan z)) 3))) (+ (* 1 1) (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* 1 (* (tan y) (tan z))))) (- (tan a)))
896.0ms
(fma (- (* z y) (* t a)) x (* (* (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))) (cbrt (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))))
888.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
887.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))
856.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (fma t c (- (* y i))) j)))

simplify6.5m (28.1%)

sample2.7m (11.7%)

Algorithm
59×intervals
Results
49.2s263633×body80valid
36.2s210996×body80nan
30.9s21515×body1280valid
11.7s11027×body640valid
7.3s5351×body2560valid
3.4s5056×body320valid
1.2s16512×pre80true
1.0s2407×body160valid
260.0ms224×body5120valid

prune2.6m (11.4%)

regimes17.1s (1.2%)

Accuracy

Total 24.8b remaining (18.5%)

Threshold costs 6.1b (4.6%)

4.9b21%Linear.Matrix:det33 from linear-1.19.1.3
4.4b11.9%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.3b84.7%The quadratic formula (r1)
1.5b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.3b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

rewrite12.5s (0.9%)

Algorithm
94×rewrite-expression-head
Calls

312 calls:

882.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
814.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
786.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
746.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
690.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
Rules
3759×*-un-lft-identity
3486×add-sqr-sqrt
2868×times-frac
2604×add-cube-cbrt
1508×add-exp-log
1112×add-cbrt-cube
971×pow1
965×prod-diff
741×cbrt-prod
614×prod-exp
462×cbrt-unprod
448×sqrt-prod
446×add-log-exp
388×associate-*r*
354×distribute-lft-out--
327×difference-of-squares
315×associate-*l*
312×expm1-log1p-u log1p-expm1-u insert-posit16
310×pow-prod-down
303×associate-/r*
281×distribute-rgt-neg-in
255×distribute-lft-neg-in
248×distribute-lft-out
231×div-exp
228×associate-/l*
189×div-inv
180×cbrt-undiv
174×fma-neg
155×cbrt-div
129×swap-sqr
126×associate-/r/
110×associate-*l/
109×tan-quot flip3-- flip--
108×associate-*r/
95×associate-+r+
92×frac-times
86×pow1/3
85×exp-sum
84×unswap-sqr
79×neg-mul-1
78×*-commutative
73×associate-/l/
69×log-prod
68×log-pow
64×exp-diff
56×frac-2neg clear-num
53×diff-log
51×flip-+ flip3-+
49×sub-neg
42×fma-udef
39×1-exp rec-exp
38×sqrt-pow1 pow1/2 exp-prod
35×fma-def
32×associate-+l+
31×distribute-rgt-in distribute-lft-in
29×pow-prod-up
28×rem-sqrt-square
27×pow-sqr
24×sin-mult
22×sum-log rem-exp-log
18×cos-mult div-sub
16×associate--l+ sqrt-div
15×frac-sub
13×unpow-prod-down
12×unpow-prod-up pow-unpow pow-plus
11×sub-div
10×pow-flip log-div
9×pow2 associate-+l-
8×+-commutative inv-pow
7×difference-of-sqr-1
6×neg-sub0 pow-exp associate--l-
5×sqr-pow pow-pow frac-add pow-sub
4×neg-log pow-to-exp distribute-rgt-out--
3×associate-+r- cube-div
2×rem-cube-cbrt sqrt-unprod tan-sum distribute-neg-frac unpow2 cos-sum distribute-frac-neg rem-log-exp cos-2
1×remove-posit16 cube-prod +-inverses unpow3 cube-mult associate--r+ rem-square-sqrt un-div-inv e-exp-1

localize5.5s (0.4%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)