Details

rewrite90.0ms (0.4%)

Algorithm

3×	rewrite-expression-head

Calls

2 calls:

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