Details

simplify4.7s (43.7%)

sample3.9s (36.7%)

Algorithm
6×intervals
Results
1.5s7563×body1280valid
725.0ms2875×body2560valid
698.0ms4409×body640valid
198.0ms10157×body80valid
88.0ms1810×body320valid
26.0ms791×body160valid

series1.1s (10.6%)

Calls

8 calls:

757.0ms
(- (/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (+ (* x x) (* 1.0 (- 1.0 x))))) 1.0)
101.0ms
(/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (+ (* x x) (* 1.0 (- 1.0 x)))))
67.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
57.0ms
(+ (* x x) (* x 2.0))
48.0ms
(* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0)))

prune527.0ms (4.9%)

rewrite384.0ms (3.6%)

Algorithm
6×rewrite-expression-head
Calls

8 calls:

106.0ms
(- (/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (+ (* x x) (* 1.0 (- 1.0 x))))) 1.0)
89.0ms
(* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0)))
62.0ms
(/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (+ (* x x) (* 1.0 (- 1.0 x)))))
36.0ms
(* (- x 1.0) (+ (* x x) (* 1.0 (- 1.0 x))))
31.0ms
(* (+ x 1.0) (+ x 1.0))
Rules
48×*-un-lft-identity
31×add-sqr-sqrt
28×add-exp-log add-cbrt-cube
21×pow1 associate-*l*
20×flip3-+ flip-+ frac-times
18×add-cube-cbrt
15×associate-*r*
14×flip-- flip3-- add-log-exp
13×distribute-lft-out
12×associate-*r/
10×associate-*l/
8×associate-/l/ associate-/r/ prod-exp cbrt-unprod
6×distribute-rgt-in swap-sqr distribute-lft-in
4×cbrt-undiv *-commutative unpow-prod-down cube-prod sub-neg difference-of-squares pow-prod-down div-exp unswap-sqr
2×diff-log distribute-lft-out-- associate--l+
1×associate-/l* +-commutative pow-plus sum-log sum-cubes pow-prod-up clear-num frac-2neg times-frac div-inv pow2 pow-sqr associate-/r*

localize35.0ms (0.3%)

regimes14.0ms (0.1%)

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%)