Details

simplify5.9s (61.7%)

sample3.3s (34.8%)

Algorithm
6×intervals
Results
998.0ms7620×body1280valid
884.0ms2897×body2560valid
355.0ms4156×body640valid
251.0ms10128×body80valid
171.0ms1872×body320valid
106.0ms842×body160valid

prune183.0ms (1.9%)

series86.0ms (0.9%)

Calls

2 calls:

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

rewrite50.0ms (0.5%)

Algorithm
4×rewrite-expression-head
Calls

2 calls:

24.0ms
(* (+ x 1.0) (+ x 1.0))
21.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

localize17.0ms (0.2%)

end0.0ms (0.0%)