Details

simplify5.4s (54.9%)

sample4.0s (41.4%)

Algorithm
6×intervals
Results
1.4s7620×body1280valid
906.0ms4212×body640valid
886.0ms2896×body2560valid
158.0ms10183×body80valid
121.0ms1862×body320valid
25.0ms843×body160valid

prune213.0ms (2.2%)

series81.0ms (0.8%)

Calls

2 calls:

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

rewrite47.0ms (0.5%)

Algorithm
4×rewrite-expression-head
Calls

2 calls:

26.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

localize20.0ms (0.2%)

end0.0ms (0.0%)