Details

simplify5.3s (58.1%)

sample3.5s (38.3%)

Algorithm
6×intervals
Results
979.0ms2924×body2560valid
976.0ms7504×body1280valid
664.0ms4280×body640valid
166.0ms10051×body80valid
155.0ms1864×body320valid
26.0ms812×body160valid

prune180.0ms (2.0%)

series86.0ms (0.9%)

Calls

2 calls:

70.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
16.0ms
(* (+ x 1.0) (+ x 1.0))

rewrite45.0ms (0.5%)

Algorithm
4×rewrite-expression-head
Calls

2 calls:

24.0ms
(* (+ x 1.0) (+ x 1.0))
17.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
Rules
21×*-un-lft-identity
10×add-sqr-sqrt
9×pow1
7×add-cube-cbrt
6×distribute-lft-out swap-sqr flip-+ flip3-+
4×add-log-exp add-cbrt-cube associate-*l* frac-times associate-*r* add-exp-log
3×prod-diff
2×associate--l+ expm1-log1p-u distribute-lft-in distribute-rgt-in associate-*l/ log1p-expm1-u associate-*r/
1×pow2 sub-neg unswap-sqr difference-of-squares pow-prod-down prod-exp pow-prod-up pow-plus *-commutative cbrt-unprod fma-neg flip-- diff-log flip3-- pow-sqr

localize23.0ms (0.3%)

end0.0ms (0.0%)