Details

simplify4.6s (46.8%)

sample3.9s (39.4%)

Algorithm
6×intervals
Results
1.3s2866×body2560valid
913.0ms7474×body1280valid
372.0ms4279×body640valid
346.0ms1911×body320valid
222.0ms10091×body80valid
84.0ms848×body160valid

series573.0ms (5.8%)

Calls

8 calls:

134.0ms
(/ (* x (- (pow x 3) (* 2.0 (* 2.0 x)))) (* x (- x 2.0)))
121.0ms
(* x (- (pow x 3) (* 2.0 (* 2.0 x))))
83.0ms
(- (pow x 3) (* 2.0 (* 2.0 x)))
66.0ms
(- (* (+ 1.0 x) (+ 1.0 x)) 1.0)
57.0ms
(+ (* x x) (* 2.0 x))

prune515.0ms (5.2%)

rewrite201.0ms (2.0%)

Algorithm
6×rewrite-expression-head
Calls

8 calls:

56.0ms
(* x (- (pow x 3) (* 2.0 (* 2.0 x))))
32.0ms
(/ (* x (- (pow x 3) (* 2.0 (* 2.0 x)))) (* x (- x 2.0)))
32.0ms
(* (+ 1.0 x) (+ 1.0 x))
19.0ms
(- (pow x 3) (* 2.0 (* 2.0 x)))
16.0ms
(- (* (+ 1.0 x) (+ 1.0 x)) 1.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

localize40.0ms (0.4%)

regimes29.0ms (0.3%)

Accuracy

Total 0.0b remaining (96.5%)

Threshold costs 0.0b (96.5%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)