rewrite607.0ms (1.9%)

Algorithm

25×	rewrite-expression-head

Calls

69 calls:

36.0ms	(* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
29.0ms	(- (/ 1.0 x) 1.0)
28.0ms	(* (sqrt (- x 1.0)) (sqrt x))
23.0ms	(/ (* 1.0 (- (/ (/ 1.0 x) x) 1.0)) (+ (/ 1.0 x) 1.0))
16.0ms	(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z))

Rules

799×	*-un-lft-identity
693×	add-sqr-sqrt
554×	times-frac
419×	add-cube-cbrt
223×	sqrt-prod
201×	add-exp-log
164×	exp-prod
158×	add-cbrt-cube
154×	distribute-rgt-neg-in
145×	distribute-lft-neg-in
139×	associate-*r*
132×	add-log-exp
116×	pow1
102×	difference-of-squares
98×	distribute-lft-out
91×	distribute-lft-out--
72×	log-pow
68×	associate-*l*
61×	associate-/l*
56×	prod-exp
52×	cbrt-unprod
46×	sqrt-div
43×	flip-- flip3--
37×	neg-mul-1
35×	div-exp
33×	cbrt-undiv
32×	cbrt-prod
28×	flip3-+ flip-+ associate-/r*
25×	associate-*l/
23×	unswap-sqr
22×	exp-sum
21×	pow1/2 sqrt-pow1
20×	div-inv
19×	log-prod
18×	rem-sqrt-square
17×	neg-sub0
16×	sub-neg
15×	sum-log
14×	diff-log associate-/r/
13×	associate-*r/ neg-log pow-prod-down associate-/l/
12×	pow-unpow cbrt-div
11×	frac-times
10×	exp-diff distribute-neg-frac
9×	*-commutative pow1/3 rem-exp-log
8×	log-div +-commutative frac-sub distribute-neg-in
7×	associate-+l- clear-num frac-2neg
5×	distribute-frac-neg exp-neg
4×	distribute-rgt-in un-div-inv div-sub sub-div distribute-lft-in
3×	unpow-prod-down associate--l-
2×	1-exp unpow-prod-up pow-exp rec-exp
1×	pow-to-exp e-exp-1 pow-neg sqrt-unprod sqr-pow rem-log-exp pow-pow pow-sub log-rec