Details

simplify4.7s (49.5%)

sample4.4s (46.3%)

Algorithm
6×intervals
Results
2.0s7636×body1280valid
650.0ms2892×body2560valid
440.0ms4249×body640valid
343.0ms10159×body80valid
104.0ms1874×body320valid
28.0ms811×body160valid

prune154.0ms (1.6%)

series100.0ms (1.1%)

Calls

2 calls:

80.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
20.0ms
(* (+ x 1.0) (+ x 1.0))

rewrite85.0ms (0.9%)

Algorithm
4×rewrite-expression-head
Calls

2 calls:

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

localize49.0ms (0.5%)

end0.0ms (0.0%)