rewrite801.0ms (4.5%)

Algorithm

26×	rewrite-expression-head

Calls

65 calls:

219.0ms	(/ (neg (+ f n)) (- f n))
26.0ms	(* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
21.0ms	(/ -1 (cbrt (pow (/ (- f n) (+ f n)) 3)))
17.0ms	(* (* 2.0 c) (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
16.0ms	(/ (* 2.0 c) (- (* 2.0 (* (* (cbrt a) (cbrt a)) (* (cbrt a) (/ c b)))) (* 2 b)))

Rules

1055×	*-un-lft-identity
893×	add-sqr-sqrt
878×	times-frac
540×	add-cube-cbrt
311×	cbrt-prod
260×	add-exp-log
202×	add-cbrt-cube
166×	unpow-prod-down
156×	cube-prod
140×	sqrt-prod
139×	difference-of-squares
132×	distribute-lft-out--
131×	associate-/r* associate-*r*
129×	pow1
123×	distribute-lft-out
122×	add-log-exp
88×	associate-*l*
82×	prod-exp
59×	cbrt-unprod
54×	div-exp associate-/r/
50×	distribute-rgt-neg-in
47×	associate-/l*
43×	cbrt-undiv flip-- flip3--
42×	sqrt-div
38×	div-inv
35×	distribute-lft-neg-in
27×	exp-prod
26×	flip-+ flip3-+
25×	pow-prod-down unswap-sqr
24×	log-prod
22×	diff-log
20×	sqrt-pow1
19×	pow1/2 associate-*l/
14×	rem-sqrt-square clear-num frac-2neg
13×	neg-sub0 sub-neg
12×	associate-/l/ *-commutative
11×	neg-log
10×	sqr-pow
9×	1-exp
8×	associate-*r/ neg-mul-1
7×	associate--l- log-pow
6×	log-div pow-unpow sum-log cube-mult distribute-neg-frac unpow3
5×	div-sub frac-times pow-pow
4×	pow-exp rem-exp-log
3×	cube-div rem-log-exp exp-neg pow-to-exp pow1/3 rec-exp exp-diff
2×	exp-sum +-commutative cbrt-div distribute-neg-in associate--l+ un-div-inv pow-prod-up associate-+l- rem-cube-cbrt
1×	distribute-lft-neg-out frac-sub sqrt-unprod sub-div distribute-frac-neg rem-cbrt-cube unpow2