Details

rewrite5.9s (2.6%)

Algorithm

123×	rewrite-expression-head

Calls

383 calls:

227.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
203.0ms	(log (exp (+ (- (* (sqrt (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n))) (sqrt (pow (cbrt (+ x 1.0)) (/ 1.0 n)))) (pow x (/ (/ 1.0 n) 2))) (fma (sqrt (pow x (/ (/ 1.0 n) 2))) (- (sqrt (pow x (/ (/ 1.0 n) 2)))) (pow x (/ (/ 1.0 n) 2))))))
145.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
139.0ms	(log (exp (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))))
116.0ms	(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))

Rules

9508×	*-un-lft-identity
7666×	times-frac
7452×	add-sqr-sqrt
5683×	add-cube-cbrt
3251×	sqrt-prod
3089×	prod-diff
1480×	distribute-lft-out
1289×	add-exp-log
1235×	unpow-prod-down
929×	add-cbrt-cube
904×	cbrt-prod
746×	difference-of-squares
721×	pow1
635×	associate-*r*
633×	add-log-exp
525×	distribute-lft-out--
513×	associate-/l*
492×	cube-prod
456×	sqr-pow
448×	associate-*l*
431×	div-inv
400×	log-prod
369×	log1p-expm1-u expm1-log1p-u
357×	fma-neg
346×	associate-/r*
337×	associate-/r/
319×	prod-exp
305×	div-exp
248×	associate-+l+
233×	distribute-rgt-neg-in
223×	unswap-sqr
190×	flip-+ flip3-+
184×	flip-- flip3--
179×	cbrt-undiv
167×	cbrt-unprod
149×	unpow2
146×	exp-sum
142×	fma-def
141×	swap-sqr
135×	distribute-lft-neg-in
127×	pow-unpow
123×	sqrt-div
117×	exp-prod
111×	log-pow
107×	sqrt-pow1
104×	pow-prod-down
102×	unpow3 cube-mult
87×	diff-log associate-*l/
86×	sub-neg
77×	distribute-rgt-in associate-*r/ distribute-lft-in
76×	pow1/2
75×	pow-exp
73×	tan-quot
72×	pow-to-exp
67×	fma-udef
66×	associate-/l/ pow1/3 frac-times
65×	frac-2neg clear-num
57×	pow-prod-up
55×	*-commutative
45×	1-exp neg-mul-1
41×	sum-log
40×	cbrt-div
30×	+-commutative rec-exp
29×	pow-sqr
28×	rem-log-exp
27×	pow-pow rem-sqrt-square log-div
26×	div-sub
24×	frac-add complex-mul-def
21×	difference-of-sqr-1
17×	cube-div
15×	neg-sub0
14×	exp-to-pow
12×	associate-+r+
11×	rem-cube-cbrt associate--l+
10×	associate--l-
9×	pow-flip pow-plus neg-log frac-sub
8×	exp-diff pow2 hypot-def associate-+l-
7×	difference-cubes sqrt-unprod
6×	inv-pow *.c-commutative
5×	un-div-inv associate--r+
4×	rem-exp-log expm1-def +.c-commutative complex-add-def sin-mult
3×	cos-mult expm1-udef
2×	associate-+l+.c associate-+r- exp-neg pow-sub rem-square-sqrt associate-*l*.c cos-sum tan-sum pow-neg rem-cbrt-cube sin-sum
1×	sin-cos-mult unpow1/3 diff-atan sub-div diff-cos expm1-log1p sqr-cos diff-sin