Details

rewrite173.0ms (4.0%)

Algorithm

6×	rewrite-expression-head

Calls

7 calls:

57.0ms	(/ (* x (+ (pow 2.0 3) (pow x 3))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
18.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
15.0ms	(* x (+ (pow 2.0 3) (pow x 3)))
14.0ms	(- (* x x) (* 2.0 x))
12.0ms	(+ (pow x 2) (* x 2.0))

Rules

945×	*-un-lft-identity
345×	associate-*l*
306×	distribute-lft-out
273×	times-frac
197×	associate-*r*
185×	distribute-lft-out--
150×	add-sqr-sqrt
81×	add-cube-cbrt
60×	unpow-prod-down pow-unpow cube-prod sum-cubes
26×	*-commutative
25×	unswap-sqr
21×	associate-/l*
18×	pow1 add-exp-log add-cbrt-cube
15×	difference-of-squares
13×	add-log-exp associate-/r*
11×	flip3-+ flip-+
9×	+-commutative swap-sqr
8×	distribute-rgt-in associate-*r/ distribute-rgt-out-- distribute-lft-in
4×	frac-times prod-exp cbrt-unprod associate--l+
3×	pow-prod-down
2×	diff-log cbrt-undiv associate-/l/ flip-- sub-neg associate-*l/ flip3-- associate-/r/ div-exp unpow2
1×	distribute-rgt-out pow-plus sum-log pow2 pow-prod-up clear-num frac-2neg div-inv pow-sqr