Details

rewrite13.0s (1.9%)

Algorithm

123×	rewrite-expression-head

Calls

387 calls:

365.0ms	(* (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ 1.0 (* 2 n)))) (- (/ (/ 0.5 n) x) (fma (/ 0.25 (pow n 2)) (/ (- (log x)) x) (/ (/ 0.25 (pow x 2)) n))))
283.0ms	(/ (log (exp (- (pow 1.0 3) (pow (cos x) 3)))) (* (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0)) x))
224.0ms	(* (/ (/ (fma (pow x 5) 1/60 (fma 1/3 (pow x 3) (* 2 x))) (sqrt 2.0)) (sqrt (sqrt 2.0))) (/ (sin y) (sqrt (sqrt 2.0))))
213.0ms	(+ (/ 1.0 (- x 1.0)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
209.0ms	(+ (* (/ (/ 1.0 (+ 1.0 x)) (- x 1.0)) (+ x 1.0)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))

Rules

11881×	times-frac
11650×	*-un-lft-identity
10530×	add-sqr-sqrt
8671×	add-cube-cbrt
5482×	prod-diff
2556×	sqrt-prod
1456×	add-exp-log
1096×	add-cbrt-cube
1046×	distribute-lft-out
903×	unpow-prod-down
829×	cbrt-prod
758×	div-inv
718×	associate-*l*
705×	log-prod
703×	difference-of-squares
699×	pow1
678×	cube-prod
580×	add-log-exp
560×	associate-/l*
531×	fma-neg
524×	associate-+r+
507×	associate-*r*
486×	associate-/r/
485×	distribute-lft-out--
404×	prod-exp
377×	log1p-expm1-u
376×	expm1-log1p-u
365×	sqr-pow
339×	div-exp
314×	associate-/r*
281×	flip-+ flip3-+
262×	cbrt-unprod
257×	cbrt-undiv
227×	exp-sum
215×	distribute-rgt-in distribute-lft-in
169×	unswap-sqr
168×	distribute-rgt-neg-in
166×	flip3-- flip--
161×	distribute-lft-neg-in
158×	unpow3 cube-mult
147×	log-pow
135×	fma-def
112×	pow-prod-down
109×	sqrt-div
105×	pow-unpow
104×	associate-*r/
100×	exp-prod
85×	associate-*l/
79×	sub-neg
76×	frac-2neg clear-num
70×	associate-/l/
69×	diff-log
59×	frac-times
57×	pow1/3 *-commutative
50×	sqrt-pow1 pow1/2
49×	fma-udef
46×	swap-sqr neg-mul-1
38×	rem-sqrt-square
36×	sum-log log-div
33×	div-sub
31×	+-commutative
29×	cbrt-div
27×	1-exp rec-exp
24×	rem-log-exp
23×	pow-exp tan-quot pow-to-exp frac-add
21×	pow-pow
16×	associate-+l+ frac-sub pow-prod-up difference-cubes
15×	complex-mul-def
14×	pow-sqr
13×	unpow2 hypot-def
10×	distribute-neg-frac
9×	distribute-frac-neg
7×	exp-diff neg-sub0 pow2 pow-plus associate--r+
6×	distribute-rgt-neg-out associate--l+
5×	rem-cube-cbrt associate--l-
4×	sin-cos-mult sqrt-unprod *.c-commutative
3×	expm1-log1p expm1-udef associate-+r- log1p-expm1 log1p-udef difference-of-sqr-1 +.c-commutative
2×	quot-tan associate-*l*.c sin-sum unpow-prod-up neg-log tan-sum rem-exp-log cos-sum cube-div expm1-def complex-add-def
1×	pow-flip distribute-lft-neg-out diff-atan frac-2neg.c sum-cubes inv-pow un-div-inv exp-to-pow distribute-rgt-out-- associate-+l- rem-square-sqrt diff-sin associate-+l+.c diff-cos sin-mult