Details

rewrite238.0ms (0.6%)

Algorithm

5×	rewrite-expression-head

Calls

9 calls:

59.0ms	(/ (+ (* x 8) (* (* x x) (* x x))) (- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2)))))
46.0ms	(/ (+ (* x 8) (* (* x x) (* x x))) (+ (* x x) (- (* 2 2) (* x 2))))
25.0ms	(- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2))))
21.0ms	(* (* x x) (* x x))
21.0ms	(* (* x x) (* x x))

Rules

344×	pow1
108×	pow-prod-up
70×	pow-prod-down
66×	pow-sqr
54×	pow-plus
51×	add-cbrt-cube add-exp-log
39×	pow2
30×	add-sqr-sqrt *-un-lft-identity
28×	add-cube-cbrt
25×	cbrt-unprod prod-exp
21×	times-frac
18×	add-log-exp
9×	insert-posit16
7×	associate-*l* associate-/r*
6×	associate-*r* flip-+ associate-/l* flip3-+
5×	difference-of-squares
4×	associate-/r/ sub-neg unswap-sqr associate-/l/ *-commutative associate--r+
3×	swap-sqr sum-log
2×	div-exp associate-+r+ flip3-- frac-2neg +-commutative distribute-rgt-in associate-*l/ clear-num distribute-lft-in cbrt-undiv div-inv flip-- diff-log
1×	distribute-lft-out associate-+r-