Details

rewrite3.8s (1.8%)

Algorithm

120×	rewrite-expression-head

Calls

378 calls:

95.0ms	(* (/ 1 x) (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) x))
55.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
49.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
41.0ms	(- (/ x (- x (sin x))) (/ (tan x) (- x (sin x))))
29.0ms	(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))

Rules

9699×	*-un-lft-identity
8893×	add-sqr-sqrt
7642×	times-frac
6540×	add-cube-cbrt
4864×	prod-diff
1828×	sqrt-prod
1542×	unpow-prod-down
1346×	add-exp-log
1008×	add-cbrt-cube
983×	difference-of-squares
853×	associate-*r*
840×	pow1
822×	distribute-lft-out
819×	distribute-lft-out--
652×	add-log-exp
556×	sqr-pow fma-neg
498×	div-inv
485×	cbrt-prod
472×	associate-*l*
466×	cube-prod
442×	associate-/r/
433×	distribute-rgt-neg-in
410×	log-pow
367×	div-exp
364×	log1p-expm1-u
362×	expm1-log1p-u
356×	associate-/l*
347×	associate-/r* exp-prod
346×	log-prod
336×	distribute-lft-neg-in
309×	prod-exp
287×	flip-- flip3--
281×	associate-+l+
234×	unswap-sqr
221×	cbrt-undiv
211×	cbrt-unprod
187×	flip-+ flip3-+
130×	unpow2
125×	associate-*l/
117×	diff-log sqrt-pow1
113×	pow-prod-down
112×	neg-mul-1
111×	fma-def sub-neg
110×	sqrt-div
109×	cbrt-div
107×	distribute-rgt-in distribute-lft-in
99×	swap-sqr
88×	unpow3 cube-mult
85×	frac-times
84×	associate-*r/
83×	tan-quot
82×	pow1/2
75×	pow1/3
63×	associate-/l/ frac-2neg clear-num
60×	*-commutative
59×	pow-prod-up
58×	associate-+r+
46×	pow-to-exp pow-exp
42×	1-exp
36×	rec-exp
34×	rem-sqrt-square log-div
32×	sum-log
31×	pow-sqr
28×	fma-udef rem-log-exp
25×	frac-add
24×	complex-mul-def
23×	+-commutative div-sub
22×	neg-sub0
18×	associate--l-
17×	pow-plus
16×	neg-log
11×	difference-cubes exp-sum
10×	pow2 frac-sub associate--l+
9×	pow-unpow
8×	pow-flip
7×	exp-diff associate--r+ associate-+l-
6×	sqrt-unprod inv-pow *.c-commutative
5×	sum-cubes
4×	exp-neg +.c-commutative sin-mult complex-add-def
3×	rem-exp-log pow-pow associate-+r- difference-of-sqr-1 expm1-log1p expm1-udef cos-mult distribute-rgt-out--
2×	rem-cube-cbrt expm1-def frac-2neg.c sub-div distribute-frac-neg associate-*l*.c tan-sum cos-sum associate-+l+.c sin-sum
1×	sub0-neg sin-cos-mult log1p-udef unpow1/3 distribute-lft-neg-out diff-atan log1p-expm1 diff-cos rem-square-sqrt distribute-rgt-neg-out diff-sin exp-to-pow