Details

rewrite36.0ms (0.3%)

Algorithm

4×	rewrite-expression-head

Calls

3 calls:

Slowest

18.0ms	(+ (+ x x) (* x x))
11.0ms	(+ x (+ x (* x x)))
4.0ms	(+ x (* x x))

Rules

15×	add-log-exp
11×	*-un-lft-identity
7×	sum-log
5×	distribute-rgt-out distribute-rgt1-in
3×	add-sqr-sqrt pow1 insert-posit16 flip3-+ flip-+ add-cube-cbrt add-exp-log add-cbrt-cube +-commutative
2×	distribute-lft-out
1×	associate-+l+ distribute-lft1-in associate-+r+