Details

series10.7m (67.5%)

Calls

322 calls:

1.0s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
995.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
992.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
699.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
635.0ms
(- (+ (/ (+ (tan y) (tan z)) (fma (tan y) (- (tan z)) 1)) x) (tan a))

simplify3.3m (20.7%)

sample56.2s (5.9%)

Algorithm
59×intervals
Results
11.7s263536×body80valid
8.7s21318×body1280valid
8.0s207353×body80nan
3.1s10959×body640valid
2.4s5354×body2560valid
931.0ms5115×body320valid
392.0ms16512×pre80true
323.0ms2493×body160valid
59.0ms230×body5120valid

prune34.0s (3.6%)

rewrite11.1s (1.2%)

Algorithm
101×rewrite-expression-head
Calls

324 calls:

849.0ms
(/ (* x (* (exp (- (pow (cbrt (fma y (log z) (* (- t 1.0) (log a)))) 3) b)) (exp (+ (- b) b)))) y)
519.0ms
(+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c))
325.0ms
(+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c))
302.0ms
(- (+ (/ (+ (tan y) (tan z)) (fma (tan y) (- (tan z)) 1)) x) (tan a))
232.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
Rules
7200×times-frac
5798×*-un-lft-identity
5631×add-sqr-sqrt
4815×add-cube-cbrt
2525×add-exp-log
1605×cbrt-prod
1587×prod-diff
1450×prod-exp
1139×add-cbrt-cube
825×distribute-rgt-neg-in
792×distribute-lft-neg-in
752×pow1
588×unpow-prod-down
532×cube-prod
516×sqrt-prod
479×add-log-exp
475×associate-*r*
423×associate-/l*
421×div-inv
385×div-exp
349×cbrt-unprod
346×associate-*l*
345×associate-/r*
325×expm1-log1p-u
324×log1p-expm1-u
298×pow-exp
297×pow-to-exp
290×difference-of-squares
270×distribute-lft-out--
262×distribute-lft-out
261×fma-neg
239×neg-mul-1
185×cbrt-undiv
177×pow-prod-down
153×flip3-- flip--
125×associate-+r+ associate-/r/
106×distribute-rgt-in distribute-lft-in
98×unswap-sqr
91×exp-sum
83×cbrt-div
80×*-commutative
76×sqr-pow
75×log-pow log-prod
73×clear-num frac-2neg
71×sub-neg
69×fma-def
68×pow1/3
65×associate-*r/
58×diff-log
55×unpow3 cube-mult
53×associate-/l/
50×fma-udef sqrt-pow1
47×flip-+ flip3-+ exp-prod
43×associate-*l/
40×sqrt-div
36×associate-+l+
34×tan-quot swap-sqr frac-times
32×pow1/2 pow-unpow
27×sum-log
26×1-exp rec-exp
23×pow-prod-up sin-mult
21×rem-sqrt-square
17×neg-sub0 frac-sub
16×pow-pow cos-mult associate-+l-
15×pow-sqr +-commutative
12×div-sub log-div
11×distribute-neg-frac associate--l-
10×exp-diff pow-plus
9×sub-div rem-exp-log
8×neg-log
7×frac-add
6×inv-pow pow2 pow-flip
5×un-div-inv distribute-frac-neg associate--l+
3×rem-cube-cbrt associate-+r-
2×sqrt-unprod exp-neg unpow2 tan-sum distribute-rgt-out-- cos-sum exp-to-pow
1×log1p-udef pow3 log1p-expm1 unpow1/2 rem-square-sqrt acos-asin cube-neg rem-log-exp

regimes6.8s (0.7%)

Accuracy

Total 30.6b remaining (23.4%)

Threshold costs 4.6b (3.5%)

8.1b-7.4%Linear.Matrix:det33 from linear-1.19.1.3
4.9b81.9%The quadratic formula (r1)
2.2b67.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.2b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.9b65.5%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

localize2.1s (0.2%)

bsearch1.4s (0.1%)

end1.0ms (0.0%)