Details

rewrite370.0ms (1.3%)

Algorithm

6×	rewrite-expression-head

Calls

8 calls:

150.0ms	(/ (* (+ (* x (* x x)) (* (* 2.0 2.0) 2.0)) (* x (* x x))) (- (* (* x x) (* x x)) (* (* 2.0 x) (- (* x x) (* 2.0 x)))))
42.0ms	(* (+ x 1.0) (+ x 1.0))
41.0ms	(- (* (* x x) (* x x)) (* (* 2.0 x) (- (* x x) (* 2.0 x))))
35.0ms	(* (* x x) (* x x))
30.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)

Rules

142×	pow1
43×	add-cbrt-cube add-exp-log
42×	pow-prod-up
33×	*-un-lft-identity
28×	pow-prod-down
24×	pow-sqr
23×	add-sqr-sqrt
20×	pow-plus
19×	cbrt-unprod prod-exp
17×	add-cube-cbrt
15×	pow2
14×	add-log-exp
11×	associate-*l*
10×	associate-*r*
9×	flip-+ flip3-+
8×	insert-posit16
7×	distribute-lft-out swap-sqr
5×	distribute-lft-in distribute-rgt-in
4×	frac-times cbrt-undiv sub-neg div-exp unswap-sqr associate-*r/ associate-*l/ associate--r+ *-commutative
3×	flip3-- flip-- associate-/r* times-frac
2×	associate--l+ associate-/r/ associate-/l/ diff-log
1×	difference-of-squares associate-/l* frac-2neg cube-unmult sum-log clear-num +-commutative div-inv distribute-rgt-out