Details

sample3.0m (34.9%)

Algorithm
60×intervals
Results
1.2m336284×body80valid
25.4s207529×body80nan
21.1s21276×body1280valid
7.4s11136×body640valid
4.7s5272×body2560valid
2.5s5091×body320valid
1.3s16512×pre80true
583.0ms2515×body160valid
139.0ms217×body5120valid

series2.3m (27.6%)

Calls

369 calls:

9.8s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
9.6s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
9.2s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
9.2s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
9.0s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))

prune1.8m (20.9%)

rewrite38.7s (7.6%)

Algorithm
106×rewrite-expression-head
Calls

369 calls:

2.0s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
1.8s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
1.8s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
1.7s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
1.7s
(cbrt (* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x)))
Rules
18534×times-frac
9478×*-un-lft-identity
9357×add-sqr-sqrt
8280×add-cube-cbrt
3274×unpow-prod-down
2718×add-exp-log
1497×cbrt-prod
1423×add-cbrt-cube
1362×prod-exp
1064×exp-sum
1033×pow1
790×associate-*r*
763×div-inv
687×associate-*r/
680×associate-*l/
641×flip-- flip3--
617×associate-*l*
592×add-log-exp
561×associate-/l*
532×div-exp
521×cbrt-unprod
445×distribute-rgt-neg-in
439×frac-sub
424×frac-times
357×distribute-lft-neg-in
330×sqrt-prod
326×distribute-lft-out--
296×difference-of-squares
287×associate-/r*
281×swap-sqr
280×pow-prod-down
266×sqr-pow
258×cbrt-undiv
246×pow-exp
225×cbrt-div
224×log-prod
223×distribute-lft-out
216×pow-to-exp
206×distribute-rgt-in distribute-lft-in
197×unswap-sqr
171×associate-/l/
126×sqrt-div
124×*-commutative
120×pow1/3 sub-neg
116×flip-+ flip3-+ associate-/r/
92×associate-+l+
90×neg-mul-1
86×associate-+r+
73×exp-prod
66×sum-log
63×pow-prod-up
62×rec-exp 1-exp
57×clear-num frac-2neg
55×diff-log
53×pow1/2 sqrt-pow1
45×pow-sqr
37×tan-quot
34×sin-mult
33×log-pow
32×+-commutative
30×rem-sqrt-square
29×frac-add pow-plus
28×cos-mult
24×pow2
23×associate-+l-
21×neg-sub0
20×associate--r+
19×exp-diff associate--l+
18×rem-exp-log neg-log
17×sub-div
16×pow-unpow
14×pow-flip
13×div-sub
12×log-div
11×inv-pow
9×pow-pow un-div-inv
7×cube-prod
6×sqrt-unprod associate--l-
4×associate-+r- distribute-rgt-out-- log-rec
3×rem-cube-cbrt distribute-lft-neg-out distribute-rgt-neg-out distribute-neg-frac
2×exp-neg distribute-neg-in rem-square-sqrt distribute-frac-neg distribute-rgt-out tan-sum cos-sum
1×cube-div distribute-lft1-in unpow3 unpow1/2 cube-mult exp-to-pow rem-log-exp

regimes21.2s (4.2%)

Accuracy

Total 82.0b remaining (40.8%)

Threshold costs 2.9b (1.5%)

25.1b-1752.8%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
11.8b-11.1%Linear.Matrix:det44 from linear-1.19.1.3
11.6b-261.6%cos(2*x)/(cos^2(x)*sin^2(x))
10.0b-25.2%Linear.Matrix:det33 from linear-1.19.1.3
6.1b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

simplify13.4s (2.6%)

bsearch5.8s (1.1%)

localize5.0s (1.0%)

end1.0ms (0.0%)