Details

simplify13.3s (68.5%)

sample4.7s (24.2%)

Algorithm
6×intervals
Results
2.2s7725×body1280valid
775.0ms2851×body2560valid
736.0ms4179×body640valid
342.0ms10089×body80valid
174.0ms1845×body320valid
38.0ms804×body160valid

prune894.0ms (4.6%)

series380.0ms (2.0%)

Calls

5 calls:

150.0ms
(/ (fma 8 x (* (* x x) (* x x))) (+ (* 2 2) (- (* x x) (* 2 x))))
83.0ms
(fma 8 x (* (* x x) (* x x)))
57.0ms
(* (+ 2 x) x)
57.0ms
(- (* x x) (* 2 x))
33.0ms
(* (* x x) (* x x))

rewrite79.0ms (0.4%)

Algorithm
4×rewrite-expression-head
Calls

5 calls:

24.0ms
(/ (fma 8 x (* (* x x) (* x x))) (+ (* 2 2) (- (* x x) (* 2 x))))
24.0ms
(* (* x x) (* x x))
16.0ms
(* (+ 2 x) x)
10.0ms
(- (* x x) (* 2 x))
0.0ms
(fma 8 x (* (* x x) (* x x)))
Rules
118×pow1
36×pow-prod-up
24×pow-prod-down
22×pow-sqr
21×add-exp-log add-cbrt-cube
18×pow-plus
17×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt
13×pow2
9×cbrt-unprod prod-exp times-frac
7×add-log-exp
5×associate-*l* log1p-expm1-u expm1-log1p-u insert-posit16
4×associate-*r*
3×associate-/r* associate-/l*
2×associate-/r/ unswap-sqr associate-*l/ flip-+ *-commutative flip3-+
1×frac-2neg div-exp flip3-- distribute-lft-out fma-neg sub-neg fma-udef clear-num swap-sqr cbrt-undiv div-inv distribute-rgt-out-- flip-- diff-log prod-diff

localize36.0ms (0.2%)

regimes20.0ms (0.1%)

Accuracy

Total 0.0b remaining (68.3%)

Threshold costs 0.0b (68.3%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)