Details

simplify6.6s (52.2%)

sample3.9s (30.5%)

Algorithm
6×intervals
Results
1.5s7563×body1280valid
566.0ms10157×body80valid
525.0ms2875×body2560valid
414.0ms4409×body640valid
117.0ms1810×body320valid
25.0ms791×body160valid

series1.2s (9.6%)

Calls

8 calls:

814.0ms
(- (/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (fma x x (* 1.0 (- 1.0 x))))) 1.0)
107.0ms
(/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (fma x x (* 1.0 (- 1.0 x)))))
68.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
60.0ms
(+ (* 2.0 x) (* x x))
53.0ms
(* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0)))

prune590.0ms (4.7%)

rewrite336.0ms (2.7%)

Algorithm
6×rewrite-expression-head
Calls

8 calls:

89.0ms
(* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0)))
74.0ms
(- (/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (fma x x (* 1.0 (- 1.0 x))))) 1.0)
56.0ms
(/ (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (fma x x (* 1.0 (- 1.0 x)))))
37.0ms
(* (+ x 1.0) (+ x 1.0))
22.0ms
(* (- x 1.0) (fma x x (* 1.0 (- 1.0 x))))
Rules
60×*-un-lft-identity
43×add-sqr-sqrt
30×add-cube-cbrt
28×add-exp-log add-cbrt-cube
26×prod-diff
21×pow1 associate-*l*
18×associate-*l/
15×associate-*r*
14×flip-- flip3-+ flip3-- flip-+ add-log-exp
12×distribute-lft-out frac-times
10×associate-/r/
8×associate-/l/ log1p-expm1-u associate-*r/ prod-exp cbrt-unprod fma-neg expm1-log1p-u
7×distribute-rgt-in distribute-lft-in
6×swap-sqr
5×times-frac div-inv
4×cbrt-undiv *-commutative unpow-prod-down cube-prod sub-neg difference-of-squares pow-prod-down div-exp unswap-sqr
2×diff-log fma-udef distribute-lft-out-- associate--l+
1×associate-/l* +-commutative distribute-rgt-out pow-plus sum-log sum-cubes fma-def pow-prod-up clear-num frac-2neg pow2 pow-sqr associate-/r*

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