Details

rewrite7.0s (3.0%)

Algorithm

124×	rewrite-expression-head

Calls

386 calls:

456.0ms	(* (sqrt (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (sqrt (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
239.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
105.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
85.0ms	(/ (sqrt (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
81.0ms	(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))

Rules

13070×	*-un-lft-identity
11177×	times-frac
9822×	add-sqr-sqrt
7545×	add-cube-cbrt
5293×	sqrt-prod
3862×	prod-diff
2148×	distribute-lft-out
1439×	add-exp-log
1160×	unpow-prod-down
1077×	add-cbrt-cube
1074×	associate-*r*
1035×	cbrt-prod
812×	difference-of-squares
790×	pow1
779×	distribute-lft-out--
694×	associate-*l*
648×	add-log-exp
625×	associate-/l*
483×	log-prod
481×	div-inv
464×	fma-neg
455×	associate-/r*
430×	associate-/r/
426×	sqr-pow
424×	distribute-rgt-neg-in
372×	log1p-expm1-u expm1-log1p-u
367×	prod-exp
366×	div-exp
337×	associate-+l+
316×	exp-sum
306×	unswap-sqr
270×	cube-prod
262×	distribute-lft-neg-in
258×	flip-- flip3--
240×	cbrt-undiv
208×	cbrt-unprod
200×	flip-+ flip3-+
185×	sqrt-div
162×	log-pow
126×	distribute-rgt-in distribute-lft-in
123×	diff-log unpow2
122×	sub-neg
110×	pow-prod-down
108×	associate-*l/
106×	sqrt-pow1
90×	neg-mul-1
88×	associate-/l/
86×	pow-unpow
84×	pow-exp
82×	pow1/2 pow-to-exp
81×	associate-*r/
78×	fma-def
77×	cube-mult frac-times
75×	frac-2neg clear-num
73×	unpow3 tan-quot
66×	*-commutative
50×	exp-prod
49×	associate-+r+ log-div
47×	pow-prod-up 1-exp swap-sqr
43×	pow1/3
35×	associate--l+ cbrt-div
32×	fma-udef
28×	rec-exp
27×	rem-sqrt-square
24×	pow-pow div-sub sum-log complex-mul-def
23×	rem-log-exp
22×	associate--l- associate--r+
21×	pow-sqr
19×	neg-sub0
17×	frac-add frac-sub
16×	+-commutative
15×	neg-log exp-diff
12×	pow-flip hypot-def cos-mult
10×	difference-of-sqr-1
9×	inv-pow
8×	pow-plus associate-+l-
7×	rem-cube-cbrt sqrt-unprod pow2
6×	*.c-commutative
5×	associate--r- sin-mult
4×	pow-div expm1-def associate-+r- +.c-commutative complex-add-def
3×	sin-cos-mult un-div-inv rem-exp-log
2×	associate-+l+.c sqr-sin exp-neg sqrt-undiv associate-*l*.c cos-sum tan-sum rem-cbrt-cube exp-to-pow sin-sum
1×	diff-atan sub-div diff-cos expm1-log1p rem-square-sqrt expm1-udef diff-sin