rewrite584.0ms (2.8%)

Algorithm

28×	rewrite-expression-head

Calls

72 calls:

37.0ms	(+ (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
21.0ms	(- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))
20.0ms	(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
19.0ms	(pow (/ (neg (+ f n)) (- f n)) 3)
11.0ms	(/ (neg (+ f n)) (- f n))

Rules

849×	*-un-lft-identity
830×	add-sqr-sqrt
600×	times-frac
485×	add-cube-cbrt
247×	sqrt-prod
173×	cbrt-prod
167×	unpow-prod-down
163×	distribute-rgt-neg-in
160×	distribute-lft-neg-in
146×	cube-prod
142×	difference-of-squares
140×	add-exp-log
138×	add-cbrt-cube
128×	add-log-exp
120×	pow1
105×	associate-*l*
102×	distribute-lft-out--
84×	exp-prod
83×	distribute-lft-out
57×	associate-/l*
51×	flip-- flip3--
48×	pow-unpow
45×	associate-/r*
40×	neg-mul-1
38×	sqrt-div associate-*r*
35×	pow-pow
29×	log-prod
22×	associate-/r/ div-inv
21×	sqrt-pow1
20×	div-exp cbrt-undiv pow1/2
19×	associate-*l/
17×	rem-sqrt-square diff-log unswap-sqr
16×	prod-exp cbrt-unprod
15×	sub-neg
14×	associate-+r+ flip-+ flip3-+
12×	associate-/l/ log-pow
11×	cbrt-div clear-num pow-prod-down frac-2neg sqr-pow
10×	neg-sub0 pow-exp sum-log
8×	neg-log *-commutative
7×	associate-*r/ log-div pow1/3 rem-exp-log
6×	exp-sum pow-to-exp +-commutative frac-sub
5×	frac-add associate-+l-
4×	associate-+l+ distribute-neg-in div-sub cube-mult distribute-neg-frac unpow3
3×	associate--l- distribute-frac-neg exp-diff rem-cube-cbrt
2×	cube-div rem-log-exp unpow-prod-up sqrt-undiv associate-+r- sub-div frac-times un-div-inv rem-cbrt-cube
1×	distribute-rgt-in cube-neg exp-neg e-exp-1 distribute-lft-in distribute-rgt-out sqrt-unprod associate--l+ pow-neg pow-sub