Details

simplify23.4s (84.5%)

sample4.0s (14.5%)

Algorithm
6×intervals
Results
1.4s7636×body1280valid
959.0ms2842×body2560valid
517.0ms10119×body80valid
433.0ms4266×body640valid
124.0ms1841×body320valid
25.0ms762×body160valid

prune105.0ms (0.4%)

series79.0ms (0.3%)

Calls

2 calls:

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

rewrite59.0ms (0.2%)

Algorithm
4×rewrite-expression-head
Calls

2 calls:

30.0ms
(* (+ x 1.0) (+ x 1.0))
20.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 flip3-+ flip-+ swap-sqr
4×associate-*r* add-log-exp add-exp-log associate-*l* add-cbrt-cube frac-times
3×prod-diff
2×log1p-expm1-u distribute-rgt-in associate-*r/ associate-*l/ associate--l+ distribute-lft-in expm1-log1p-u
1×pow-prod-down flip-- unswap-sqr sub-neg *-commutative prod-exp pow-sqr cbrt-unprod fma-neg diff-log pow2 flip3-- difference-of-squares pow-plus pow-prod-up

localize20.0ms (0.1%)

end0.0ms (0.0%)