rewrite345.0ms (1.8%)

Algorithm

24×	rewrite-expression-head

Calls

58 calls:

12.0ms	(/ (neg (+ f n)) (- f n))
11.0ms	(* (- (+ x 4.0) (* x z)) (/ 1 y))
11.0ms	(/ -1 (/ (- f n) (+ f n)))
10.0ms	(pow (exp (neg (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))
10.0ms	(* (sqrt (- x 1.0)) (sqrt x))

Rules

489×	*-un-lft-identity
419×	add-sqr-sqrt
307×	times-frac
279×	add-cube-cbrt
112×	add-exp-log
107×	add-log-exp
103×	add-cbrt-cube
99×	cbrt-prod
86×	pow1
63×	distribute-rgt-neg-in
61×	distribute-lft-out
60×	distribute-lft-neg-in
58×	sqrt-prod
50×	difference-of-squares
45×	associate-/r*
43×	distribute-lft-out--
41×	associate-*l* flip-- flip3--
38×	associate-*r*
36×	exp-prod
32×	cbrt-div
31×	associate-/l*
30×	sqrt-div
20×	associate-*l/
19×	flip-+ flip3-+
18×	pow-unpow
17×	div-exp
16×	sqrt-pow1 pow1/2 pow1/3
15×	prod-exp cbrt-undiv neg-mul-1 diff-log div-inv
14×	rem-sqrt-square pow-pow unswap-sqr
13×	associate-/r/
12×	sub-neg distribute-neg-frac
11×	neg-sub0 neg-log cbrt-unprod
10×	associate-/l/
8×	sum-log
7×	frac-sub clear-num pow-prod-down unpow-prod-down frac-2neg
6×	distribute-neg-in frac-times rem-exp-log
5×	*-commutative
4×	associate--l- exp-sum unpow-prod-up associate-*r/ div-sub un-div-inv
3×	pow-exp +-commutative sub-div associate-+l-
2×	exp-neg pow-to-exp 1-exp rec-exp exp-diff pow-sub sqr-pow
1×	e-exp-1 sqrt-unprod distribute-frac-neg pow-neg associate--r+