rewrite518.0ms (2.9%)

Algorithm

32×	rewrite-expression-head

Calls

59 calls:

38.0ms	(/ (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* b (- b a)) (pow a 2)) (+ (pow a 2) (* b (- b a)))))
25.0ms	(* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
16.0ms	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
15.0ms	(* (* a (sqrt (+ (+ b c) d))) (sqrt (+ (+ b c) d)))
14.0ms	(+ (+ (+ (+ e d) c) b) a)

Rules

505×	*-un-lft-identity
254×	add-log-exp
231×	distribute-lft-out
178×	add-sqr-sqrt
160×	cbrt-prod
132×	add-exp-log
130×	add-cube-cbrt
118×	sum-log unpow-prod-down
113×	add-cbrt-cube
104×	pow1
93×	flip-+ flip3-+ cube-prod
85×	associate-*r*
54×	associate-*l*
38×	prod-exp
36×	associate-*r/
32×	frac-times
31×	sqrt-prod
29×	swap-sqr
27×	unswap-sqr
26×	cbrt-unprod
24×	frac-add +-commutative
20×	sqr-pow
18×	sqrt-div
17×	distribute-rgt-in associate-+l+ distribute-lft-in
16×	cube-div flip-- pow-prod-down associate-*l/ flip3--
15×	*-commutative
14×	cbrt-div
13×	associate-+r+
12×	log-prod
11×	sub-neg
10×	cube-mult unpow3
8×	exp-sum pow-exp associate-/l/ associate-/r/
7×	pow-to-exp pow1/3 diff-log unpow2
6×	pow-unpow rem-cbrt-cube
4×	div-exp cbrt-undiv sum-cubes associate--r+
3×	distribute-rgt-out pow-pow
2×	pow2 rem-sqrt-square log-div associate-+r- distribute-lft1-in sqrt-pow1 pow-plus pow1/2 pow-sqr pow-prod-up rem-cube-cbrt
1×	rem-log-exp neg-sub0 clear-num associate-/r* times-frac exp-to-pow unsub-neg neg-log log-pow exp-prod frac-2neg div-inv associate-/l* rem-exp-log