Details

rewrite134.0ms (0.4%)

Algorithm

5×	rewrite-expression-head

Calls

6 calls:

32.0ms	(* (+ x 1.0) (+ x 1.0))
32.0ms	(+ (+ x y) z)
20.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
19.0ms	(* x (+ x 2.0))
17.0ms	(+ x (+ y z))

Rules

38×	*-un-lft-identity
20×	add-log-exp
17×	add-sqr-sqrt
15×	pow1
14×	distribute-lft-out
12×	add-cube-cbrt
10×	flip3-+ flip-+ add-exp-log add-cbrt-cube
8×	associate-*r*
7×	sum-log associate-*l*
6×	swap-sqr
4×	frac-times associate-*r/
3×	distribute-rgt-in +-commutative distribute-lft-in
2×	pow-prod-down unswap-sqr *-commutative associate-*l/ cbrt-unprod associate--l+ prod-exp
1×	flip-- sub-neg pow-sqr pow-plus associate-+l+ pow2 flip3-- difference-of-squares diff-log pow-prod-up associate-+r+