Details

series11.1m (54.3%)

Calls

350 calls:

1.9m
(* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.0s
(* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))
1.4s
(cbrt (* (/ (* (cbrt (- y z)) (cbrt (- y z))) 1) (* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))))
1.4s
(cbrt (* (/ (* (cbrt (- y z)) (cbrt (- y z))) 1) (* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))))
1.3s
(cbrt (* (/ (* (cbrt (- y z)) (cbrt (- y z))) 1) (* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))))

simplify3.7m (17.9%)

sample2.8m (13.8%)

Algorithm
59×intervals
Results
1.2m323474×body80valid
24.9s205527×body80nan
20.7s21375×body1280valid
8.4s11091×body640valid
5.7s5212×body2560valid
2.7s5195×body320valid
1.5s16512×pre80true
711.0ms2513×body160valid
114.0ms204×body5120valid

prune1.7m (8.3%)

regimes39.1s (3.2%)

Accuracy

Total 38.5b remaining (24.4%)

Threshold costs 5.1b (3.2%)

11.3b-3.7%Linear.Matrix:det44 from linear-1.19.1.3
5.3b6.3%Linear.Matrix:det33 from linear-1.19.1.3
4.6b84.1%The quadratic formula (r1)
3.2b35.5%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
3.1b38.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite18.1s (1.5%)

Algorithm
103×rewrite-expression-head
Calls

352 calls:

1.0s
(* (* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
656.0ms
(cbrt (* (* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
621.0ms
(* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
502.0ms
(* r (sin b))
338.0ms
(* (/ 1 (cbrt z)) (* (* (cbrt (/ x (cbrt z))) (cbrt (/ x (cbrt z)))) (* (cbrt (/ x (cbrt z))) (/ y (cbrt z)))))
Rules
4791×add-exp-log
4789×*-un-lft-identity
4759×times-frac
4149×add-sqr-sqrt
3268×prod-exp
2960×add-cube-cbrt
1254×add-cbrt-cube
977×cbrt-prod
842×div-exp
780×pow1
773×pow-exp
772×pow-to-exp
739×distribute-rgt-neg-in
678×distribute-lft-neg-in
677×associate-*l*
589×associate-*r*
561×add-log-exp
470×distribute-lft-out--
454×cbrt-unprod
406×difference-of-squares
357×distribute-lft-out
351×cbrt-div
349×flip3-- flip--
343×frac-times
340×associate-/l*
332×associate-*r/
320×swap-sqr
310×associate-/r*
219×associate-*l/
211×cbrt-undiv
202×sqrt-prod div-inv
191×pow-prod-down
173×exp-prod
172×neg-mul-1
169×flip-+ flip3-+
149×unswap-sqr
135×sub-neg
124×associate-/r/
120×frac-sub
112×unpow-prod-down
108×distribute-rgt-in distribute-lft-in
104×*-commutative
98×pow1/3
92×log-pow
76×sqrt-div
67×exp-sum diff-log
63×log-prod
59×associate-/l/
57×frac-2neg clear-num
46×sum-log
44×sqr-pow
43×associate--l+
38×sqrt-pow1
37×1-exp pow1/2 tan-quot
36×sin-mult
35×associate-+r+
34×rem-sqrt-square
30×cos-mult
25×rec-exp rem-exp-log
23×associate-+l+
22×frac-add
20×+-commutative
17×sub-div div-sub
16×neg-sub0 distribute-frac-neg distribute-neg-frac pow-prod-up
15×exp-diff
12×pow-unpow pow-plus associate--r+ associate-+l- pow-sqr
10×log-div
8×pow2
5×associate--l- neg-log
4×pow-pow exp-to-pow
3×unpow-prod-up pow3 exp-neg
2×pow-flip associate-+r- inv-pow tan-sum cos-sum rem-cbrt-cube rem-log-exp
1×distribute-lft-neg-out distribute-rgt-neg-out log-rec sqrt-unprod unpow1/3 sqr-neg e-exp-1 pow-sub distribute-rgt-out

localize8.0s (0.6%)

bsearch4.2s (0.3%)

end1.0ms (0.0%)