Details

rewrite6.0s (2.6%)

Algorithm

124×	rewrite-expression-head

Calls

393 calls:

239.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
154.0ms	(/ (- (pow (/ 0.3333333333333333 N) 3) (pow 0.5 3)) (pow N 2))
140.0ms	(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
126.0ms	(* (/ (sqrt 1) (/ x (sqrt (- 1.0 (cos x))))) (/ (sqrt (- 1.0 (cos x))) x))
114.0ms	(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)))

Rules

9440×	*-un-lft-identity
8703×	add-sqr-sqrt
8655×	times-frac
6586×	add-cube-cbrt
3749×	prod-diff
3391×	sqrt-prod
1428×	add-exp-log
1036×	add-cbrt-cube
942×	unpow-prod-down
871×	associate-*l*
828×	distribute-lft-out
798×	difference-of-squares
736×	pow1
651×	add-log-exp
647×	associate-*r*
616×	distribute-lft-out--
512×	associate-/l*
480×	div-inv
466×	fma-neg
437×	distribute-rgt-neg-in
412×	associate-/r/
396×	div-exp
378×	log1p-expm1-u expm1-log1p-u
368×	flip-- flip3--
363×	sqr-pow
342×	associate-/r*
337×	prod-exp
330×	associate-+l+
327×	distribute-lft-neg-in
287×	cbrt-prod
285×	cube-prod
231×	cbrt-undiv
216×	unswap-sqr
188×	exp-prod
187×	cbrt-unprod
186×	frac-times
183×	associate-*l/
162×	log-prod
161×	flip-+ flip3-+
159×	frac-sub unpow2
148×	associate-/l/
141×	sqrt-pow1
138×	sqrt-div
132×	fma-def
130×	associate-*r/
128×	distribute-rgt-in distribute-lft-in
127×	log-pow
126×	neg-sub0
124×	exp-neg
118×	swap-sqr
113×	exp-diff neg-mul-1
111×	diff-log
108×	sub-neg
102×	pow1/2
94×	pow-prod-down
77×	frac-2neg clear-num
75×	pow-unpow
67×	pow-prod-up
59×	pow-exp
58×	pow-to-exp
57×	1-exp
55×	pow1/3 exp-sum
54×	*-commutative
49×	rec-exp
42×	fma-udef
39×	rem-sqrt-square tan-quot
37×	pow-sqr unpow3 cube-mult associate--l+
34×	pow-pow
32×	log-div
27×	sum-log
26×	pow-flip
24×	complex-mul-def div-sub
21×	associate--l-
20×	un-div-inv
19×	+-commutative
18×	neg-log
17×	rem-log-exp
15×	frac-add pow-plus
14×	cbrt-div
12×	associate-+r+
10×	pow-div inv-pow associate--r+
9×	rem-cube-cbrt difference-cubes pow2
8×	cube-div
7×	sqrt-unprod
6×	*.c-commutative associate-+l-
5×	rem-exp-log sin-mult distribute-rgt-out--
4×	+.c-commutative complex-add-def hypot-def
3×	associate-+r- associate--r- difference-of-sqr-1 cos-mult exp-to-pow
2×	associate-+l+.c expm1-def sqr-sin sub-div rem-square-sqrt associate-*l*.c cos-sum tan-sum rem-cbrt-cube sin-sum
1×	sin-cos-mult diff-atan distribute-neg-in diff-cos unsub-neg expm1-udef frac-2neg.c diff-sin mul-1-neg