Details

rewrite11.9s (1.2%)

Algorithm

111×	rewrite-expression-head

Calls

337 calls:

Slowest

633.0ms	(+ (* (- (* (/ 1 2) (/ 1 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (+ (- (/ (/ (sqrt 3) 2) 2)) (- (/ (/ (sqrt 3) 2) 2))) (* 2 (/ (sqrt 3) 2)))) (* (+ (- (/ (/ (sqrt 3) 2) 2)) (- (/ (/ (sqrt 3) 2) 2))) (+ 1 (- (* (/ 1 2) (/ 1 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))))))
530.0ms	(+ (* (- (* (/ 1 2) (/ 1 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (+ (- (/ (/ (sqrt 3) 2) 2)) (- (/ (/ (sqrt 3) 2) 2))) (* 2 (/ (sqrt 3) 2)))) (* (+ (- (/ (/ (sqrt 3) 2) 2)) (- (/ (/ (sqrt 3) 2) 2))) (+ 1 (- (* (/ 1 2) (/ 1 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))))))
461.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
226.0ms	(* (/ (exp x) (expm1 (+ x (+ x x)))) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
210.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

Rules

15923×	times-frac
13038×	*-un-lft-identity
12361×	add-sqr-sqrt
10141×	add-cube-cbrt
6733×	prod-diff
5164×	frac-times
4196×	frac-add
3780×	associate-*r/
3209×	sqrt-prod
3049×	frac-sub
2923×	associate-*l/
2543×	distribute-neg-frac
2507×	flip-+ flip3-+
2121×	associate-+l+
2031×	distribute-rgt-neg-in
1953×	distribute-lft-neg-in
1330×	distribute-lft-out
1072×	distribute-rgt-out
1066×	add-exp-log
1065×	distribute-rgt-in distribute-lft-in
947×	add-cbrt-cube
926×	sub-div
827×	flip3-- flip--
826×	div-inv
796×	pow1
661×	un-div-inv
633×	unpow-prod-down
541×	add-log-exp
533×	associate-*r* associate-*l*
521×	difference-of-squares
508×	fma-neg
459×	cbrt-prod
357×	associate-/r*
353×	associate-/l*
333×	log1p-expm1-u
331×	expm1-log1p-u
330×	insert-posit16
326×	distribute-lft-out--
308×	associate-/r/
230×	div-exp
221×	prod-exp
212×	unswap-sqr
211×	sqr-pow
202×	log-prod swap-sqr
197×	cbrt-unprod
186×	sqrt-div
183×	cbrt-undiv
140×	pow-prod-down
121×	neg-mul-1
120×	sqrt-pow1
97×	sub-neg
96×	fma-def
92×	pow1/2
88×	diff-log
83×	*-commutative
73×	pow-prod-up
66×	frac-2neg clear-num
63×	associate-+r+
60×	associate-/l/
58×	exp-sum
56×	log-pow
52×	pow-unpow
43×	cbrt-div
39×	pow1/3
37×	exp-prod pow-sqr
29×	tan-quot 1-exp rec-exp rem-sqrt-square
27×	pow-plus
25×	sum-log
24×	pow-flip
23×	fma-udef
22×	div-sub
20×	distribute-rgt1-in distribute-lft1-in
19×	+-commutative
17×	pow2
16×	inv-pow
15×	difference-of-sqr-1
14×	associate--r+
13×	log-div
11×	associate--l- sin-mult associate--l+
10×	neg-sub0
9×	expm1-udef sin-sum
8×	neg-log rem-log-exp
7×	pow-exp sqrt-unprod pow-to-exp
6×	expm1-log1p
5×	distribute-lft-neg-out cos-mult log1p-udef
4×	distribute-neg-out pow-pow log1p-def hypot-def
3×	exp-diff associate-+r- sin-cos-mult sqr-sin associate-+l- rem-square-sqrt cos-sum
2×	log1p-expm1 +.c-commutative exp-neg tan-sum unsub-neg
1×	diff-atan distribute-rgt-out-- quot-tan pow3 frac-2neg-c exp-to-pow diff-sin diff-cos expm1-def