Details

simplify14.8s (65.7%)

sample4.4s (19.5%)

Algorithm
6×intervals
Results
1.6s7657×body1280valid
1.0s4201×body640valid
786.0ms2889×body2560valid
314.0ms10077×body80valid
152.0ms1849×body320valid
39.0ms829×body160valid

prune2.1s (9.1%)

series745.0ms (3.3%)

Calls

9 calls:

270.0ms
(* (/ (+ (* (* x x) (* x x)) (* 8 x)) (- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2))))) (- (* x x) (- (* 2 2) (* x 2))))
147.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* x x) (- (* 2 2) (* x 2))))
84.0ms
(+ (* (* x x) (* x x)) (* 8 x))
65.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2)))))
59.0ms
(* (+ x 2) x)

rewrite450.0ms (2.0%)

Algorithm
5×rewrite-expression-head
Calls

9 calls:

177.0ms
(* (/ (+ (* (* x x) (* x x)) (* 8 x)) (- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2))))) (- (* x x) (- (* 2 2) (* x 2))))
83.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2)))))
72.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* x x) (- (* 2 2) (* x 2))))
21.0ms
(* (* x x) (* x x))
21.0ms
(* (* x x) (* x x))
Rules
346×pow1
108×pow-prod-up
71×pow-prod-down
66×pow-sqr
56×add-cbrt-cube add-exp-log
54×pow-plus
45×add-sqr-sqrt
39×pow2 *-un-lft-identity
37×add-cube-cbrt
34×times-frac
27×cbrt-unprod prod-exp
25×associate-*l*
16×add-log-exp
10×associate-*r*
9×insert-posit16
8×difference-of-squares
7×associate-/r*
6×flip3-+ associate-/r/ unswap-sqr flip-+ associate-/l*
5×*-commutative
4×flip3-- flip-- associate-/l/
3×sum-log cbrt-undiv sub-neg distribute-lft-in div-exp distribute-rgt-in associate-*l/ swap-sqr div-inv
2×frac-times associate-+r+ frac-2neg associate-*r/ clear-num +-commutative associate--r-
1×distribute-lft-out associate-+r- diff-log

localize59.0ms (0.3%)

regimes19.0ms (0.1%)

Accuracy

Total 0.0b remaining (75%)

Threshold costs 0.0b (75%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)