rewrite1.2s (3.2%)

Algorithm

27×	rewrite-expression-head

Calls

70 calls:

55.0ms	(* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
44.0ms	(- (* (* (cbrt (sqrt (- (* b b) (* c (* 4.0 a))))) (cbrt (sqrt (- (* b b) (* c (* 4.0 a)))))) (cbrt (sqrt (- (* b b) (* c (* 4.0 a)))))) b)
34.0ms	(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
29.0ms	(/ (+ (* 2.0 (* (/ c (* (cbrt b) (cbrt b))) (/ a (cbrt b)))) (* b -2)) (* 2.0 a))
26.0ms	(* (/ c (* (cbrt b) (cbrt b))) (/ a (cbrt b)))

Rules

891×	*-un-lft-identity
731×	add-sqr-sqrt
597×	times-frac
441×	add-cube-cbrt
302×	sqrt-prod
186×	add-exp-log
170×	add-cbrt-cube
158×	pow1
127×	associate-*r*
124×	distribute-lft-out
122×	add-log-exp
94×	associate-*l*
88×	difference-of-squares
87×	distribute-lft-out--
69×	cbrt-prod
64×	associate-/r* swap-sqr unpow-prod-down
57×	flip-- flip3--
55×	associate-/l*
52×	cube-prod
49×	associate-/r/
43×	sqrt-div
41×	div-exp
40×	sqrt-pow1
39×	pow1/2
36×	div-inv unswap-sqr
35×	cbrt-undiv
33×	log-prod
28×	prod-exp cbrt-unprod
22×	log-pow
21×	flip-+ flip3-+
20×	associate-/l/
19×	rem-sqrt-square
18×	pow-prod-down exp-prod
17×	sub-neg
15×	clear-num diff-log frac-2neg
14×	associate-*r/
13×	associate-*l/
11×	*-commutative
10×	sum-log frac-times pow-prod-up
8×	exp-sum log-div distribute-rgt-neg-in
6×	neg-sub0 neg-log pow-sqr sqr-pow
5×	rem-log-exp +-commutative rem-exp-log
4×	associate-+l-
3×	pow-exp pow-unpow frac-sub sqrt-unprod
2×	cube-div associate--l- pow2 distribute-rgt-in pow-to-exp associate-+r+ associate-+r- rem-square-sqrt distribute-lft-in pow-plus sub-div 1-exp div-sub cube-mult rec-exp exp-diff unpow3 rem-cube-cbrt
1×	cbrt-div inv-pow pow1/3 rem-cbrt-cube pow-pow pow-flip