Details

rewrite4.0s (1.9%)

Algorithm

122×	rewrite-expression-head

Calls

385 calls:

123.0ms	(* (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))) (cbrt (/ 1.0 (/ (+ x 1.0) (- 0 1.0)))))
56.0ms	(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
53.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
48.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
33.0ms	(* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt (sqrt 2.0))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)))

Rules

11980×	*-un-lft-identity
11056×	times-frac
10457×	add-sqr-sqrt
8118×	add-cube-cbrt
4913×	prod-diff
2749×	sqrt-prod
1546×	cbrt-prod
1141×	add-exp-log
1012×	unpow-prod-down
1002×	distribute-lft-out
961×	difference-of-squares
922×	distribute-lft-out--
910×	add-cbrt-cube
736×	pow1
640×	add-log-exp
617×	distribute-rgt-neg-in
579×	fma-neg
561×	associate-*l*
543×	associate-/l*
538×	associate-*r*
527×	div-inv
474×	distribute-lft-neg-in
442×	associate-/r/
435×	log-pow
424×	associate-/r*
376×	log-prod
371×	log1p-expm1-u expm1-log1p-u
369×	sqr-pow
288×	exp-prod
262×	flip-- flip3--
258×	associate-+l+
252×	div-exp
244×	prod-exp
228×	swap-sqr
216×	unswap-sqr
205×	exp-sum
195×	flip-+ flip3-+
188×	cbrt-undiv
158×	neg-mul-1
155×	sqrt-div
154×	cbrt-unprod
111×	diff-log
107×	sub-neg
103×	associate-*l/
101×	cbrt-div
94×	unpow2
92×	fma-def
73×	frac-2neg clear-num
71×	pow-prod-down
70×	associate-/l/ pow1/3
63×	distribute-rgt-in distribute-lft-in
57×	frac-times
55×	associate-*r/
52×	cube-prod
51×	log-div
49×	*-commutative
48×	pow-exp
47×	pow1/2 sqrt-pow1
46×	pow-to-exp
37×	fma-udef
35×	pow-unpow
33×	tan-quot
32×	rem-log-exp
30×	associate-+r+
27×	rem-sqrt-square
26×	div-sub sum-log
24×	complex-mul-def
22×	pow-prod-up rec-exp 1-exp
21×	neg-sub0
18×	pow-sqr
17×	associate--l- +-commutative
14×	neg-log
13×	frac-sub
12×	exp-diff
11×	associate-+l-
10×	cube-div rem-exp-log frac-add pow-flip associate--l+
8×	inv-pow associate-+r- pow2 unpow3 cube-mult pow-plus
6×	pow-pow *.c-commutative difference-of-sqr-1 sin-mult
5×	rem-cube-cbrt un-div-inv hypot-def cos-mult
4×	sqrt-unprod +.c-commutative associate--r+ exp-to-pow complex-add-def log-rec
3×	sum-cubes rem-cbrt-cube
2×	associate-+l+.c expm1-def log1p-udef exp-neg log1p-expm1 sub-div pow-sub expm1-log1p expm1-udef rem-square-sqrt associate-*l*.c cos-sum tan-sum sqrt-undiv pow-neg sin-sum
1×	sin-cos-mult diff-atan diff-cos hypot-udef unsub-neg distribute-rgt-out-- frac-2neg.c diff-sin