Details

sample2.8m (31.8%)

Algorithm
60×intervals
Results
1.1m336442×body80valid
23.2s207220×body80nan
18.8s21674×body1280valid
8.2s10882×body640valid
4.7s5393×body2560valid
2.1s5067×body320valid
1.4s2476×body160valid
687.0ms16512×pre80true
168.0ms251×body5120valid

simplify2.5m (28.9%)

series1.2m (13.7%)

Calls

352 calls:

4.9s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
3.8s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.3s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
1.2s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
1.2s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))

prune1.2m (13.2%)

rewrite28.7s (5.5%)

Algorithm
105×rewrite-expression-head
Calls

352 calls:

1.5s
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
1.3s
(cbrt (* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y)))
1.3s
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
1.1s
(cbrt (* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y)))
1.1s
(cbrt (* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y)))
Rules
4792×times-frac
4390×add-sqr-sqrt
4382×*-un-lft-identity
2963×add-cube-cbrt
2302×add-exp-log
1297×add-cbrt-cube
1044×prod-exp
795×pow1
769×associate-*r*
663×associate-*l*
565×add-log-exp
495×div-exp
491×difference-of-squares
472×exp-prod
444×cbrt-prod distribute-lft-out--
397×associate-/r*
376×cbrt-unprod
373×associate-/l*
362×flip3-- flip--
339×unpow-prod-down
332×sqrt-prod
331×distribute-rgt-neg-in
289×distribute-lft-out
274×associate-/r/
270×distribute-lft-neg-in
256×div-inv
232×frac-times
230×cbrt-undiv
221×pow-exp
213×log-prod
211×associate-*r/
208×distribute-rgt-in distribute-lft-in
205×cbrt-div
203×pow-prod-down
201×log-pow
197×unswap-sqr
187×associate-*l/
183×pow-to-exp
177×frac-sub
151×flip-+ flip3-+
132×sub-neg
122×*-commutative
105×sqr-pow
82×pow-pow
80×neg-mul-1
79×associate-+r+
75×clear-num associate-+l+ frac-2neg
74×sum-log
68×pow-unpow rec-exp 1-exp
62×associate-/l/
58×sqrt-div
54×exp-sum
53×pow1/3
48×cube-prod
42×diff-log
37×+-commutative swap-sqr
34×unpow2
32×neg-sub0 distribute-neg-frac
30×sin-mult
28×pow1/2 unpow-prod-up sqrt-pow1
27×neg-log distribute-rgt-out-- associate-+l-
25×pow-sub
24×associate--r+
23×frac-add distribute-neg-in cos-mult
20×log-div
19×cube-div div-sub
18×rem-sqrt-square
16×rem-exp-log unpow3 cube-mult
14×tan-quot
12×associate--l+
11×sub-div
10×distribute-frac-neg associate--l-
9×exp-diff rem-cube-cbrt inv-pow distribute-lft-neg-out pow-flip
8×un-div-inv pow-sqr pow-prod-up
6×exp-neg
5×associate-+r- unsub-neg log-rec sum-cubes rem-log-exp
4×pow2 pow-plus rem-cbrt-cube
3×sqrt-unprod distribute-rgt-neg-out
2×cos-sum distribute-neg-out mul-1-neg tan-sum
1×unpow1/3 rem-square-sqrt quot-tan

regimes21.8s (4.2%)

Accuracy

Total 71.9b remaining (39.3%)

Threshold costs 4.2b (2.3%)

23.1b-1830.4%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
17.6b-35.4%Linear.Matrix:det44 from linear-1.19.1.3
6.9b-21.2%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.3b38.9%Linear.Matrix:det33 from linear-1.19.1.3
3.5b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

bsearch9.6s (1.8%)

localize4.4s (0.8%)

end1.0ms (0.0%)