rewrite413.0ms (2.3%)

Algorithm

24×	rewrite-expression-head

Calls

57 calls:

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

Rules

1330×	times-frac
1100×	*-un-lft-identity
907×	add-sqr-sqrt
667×	add-cube-cbrt
138×	add-exp-log
119×	add-cbrt-cube
116×	distribute-lft-out
113×	associate-/r/
111×	add-log-exp
100×	difference-of-squares
98×	distribute-lft-out--
92×	associate-/r*
84×	pow1
79×	sqrt-prod
63×	flip-- div-inv flip3--
62×	associate-/l*
41×	div-exp
35×	exp-prod
34×	flip-+ flip3-+
32×	distribute-rgt-neg-in associate-*r*
30×	cbrt-prod associate-*l*
28×	distribute-lft-neg-in
27×	cbrt-undiv
26×	sqrt-div
24×	unpow-prod-down
20×	cbrt-div
19×	rem-sqrt-square
17×	sqrt-pow1
16×	pow1/2 diff-log
13×	prod-exp associate-*l/ unswap-sqr
12×	clear-num pow-pow frac-2neg
11×	neg-sub0 pow-unpow sum-log
10×	sub-neg pow1/3 sqr-pow
9×	associate-/l/ neg-log cbrt-unprod
7×	neg-mul-1 pow-prod-down unpow2
6×	1-exp rec-exp
5×	*-commutative
4×	+-commutative associate-+l- rem-exp-log
3×	associate--l- exp-neg div-sub associate--l+ exp-diff
2×	exp-sum pow-to-exp pow-exp distribute-neg-in inv-pow frac-times pow-prod-up pow-flip distribute-neg-frac
1×	associate-*r/ frac-sub sqrt-unprod sub-div distribute-frac-neg un-div-inv