Details

simplify4.6s (47.0%)

sample3.8s (38.8%)

Algorithm
6×intervals
Results
1.5s7474×body1280valid
842.0ms2866×body2560valid
338.0ms4279×body640valid
220.0ms10091×body80valid
141.0ms1911×body320valid
114.0ms848×body160valid

series568.0ms (5.9%)

Calls

8 calls:

132.0ms
(/ (* x (- (pow x 3) (* 2.0 (* 2.0 x)))) (* x (- x 2.0)))
120.0ms
(* x (- (pow x 3) (* 2.0 (* 2.0 x))))
82.0ms
(- (pow x 3) (* 2.0 (* 2.0 x)))
65.0ms
(- (* (+ 1.0 x) (+ 1.0 x)) 1.0)
56.0ms
(+ (* x x) (* 2.0 x))

prune528.0ms (5.5%)

rewrite209.0ms (2.2%)

Algorithm
6×rewrite-expression-head
Calls

8 calls:

60.0ms
(* x (- (pow x 3) (* 2.0 (* 2.0 x))))
34.0ms
(* (+ 1.0 x) (+ 1.0 x))
31.0ms
(/ (* x (- (pow x 3) (* 2.0 (* 2.0 x)))) (* x (- x 2.0)))
19.0ms
(- (pow x 3) (* 2.0 (* 2.0 x)))
17.0ms
(* x (- x 2.0))
Rules
36×*-un-lft-identity
29×add-sqr-sqrt
28×add-cbrt-cube add-exp-log
21×pow1
18×add-cube-cbrt
16×associate-*r*
14×add-log-exp
13×associate-*l*
12×associate-*r/
8×cbrt-unprod prod-exp flip-+ flip3-+
7×distribute-lft-out distribute-lft-in distribute-rgt-in
6×flip3-- flip-- sub-neg swap-sqr
4×div-exp pow-prod-down frac-times cbrt-undiv unswap-sqr *-commutative
2×difference-of-squares associate--l+ associate-/r/ associate-*l/ associate-/l/ diff-log
1×pow-prod-up associate-/l* sum-log frac-2neg pow2 distribute-lft-out-- pow-plus associate-/r* clear-num +-commutative div-inv distribute-rgt-out times-frac pow-sqr

localize38.0ms (0.4%)

regimes28.0ms (0.3%)

Accuracy

Total 0.0b remaining (96.3%)

Threshold costs 0.0b (96.3%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)