Details

rewrite11.7s (4.1%)

Algorithm

124×	rewrite-expression-head

Calls

409 calls:

944.0ms	(- (/ (/ (pow 1.0 3) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) (sin x)) (/ (/ (pow (cos x) 3) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) (sin x)))
473.0ms	(+ (- (/ 1 (/ (+ x 1.0) 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
300.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (/ 1 (/ (cos eps) (* (tan x) (sin eps)))))) (tan x))
230.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
124.0ms	(log (exp (/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) (sin x))))

Rules

73853×	times-frac
42903×	*-un-lft-identity
40845×	add-sqr-sqrt
37499×	add-cube-cbrt
21805×	prod-diff
8072×	unpow-prod-down
7151×	cube-prod
3664×	sqrt-prod
2740×	sqr-pow
2314×	unpow3 cube-mult
1798×	div-inv
1524×	distribute-lft-out
1451×	difference-of-squares
1373×	add-exp-log
1184×	distribute-lft-out--
1013×	add-cbrt-cube
972×	associate-+l+
791×	fma-neg
738×	associate-/l*
722×	add-log-exp
694×	associate-*l*
687×	pow1
584×	associate-/r/
497×	associate-*r*
399×	cbrt-prod
394×	log1p-expm1-u
393×	expm1-log1p-u
391×	div-exp
390×	distribute-rgt-neg-in
385×	log-prod
370×	log-pow
364×	associate-/r*
333×	flip-- flip3--
316×	exp-prod
271×	prod-exp
224×	cbrt-undiv
204×	distribute-lft-neg-in
200×	flip-+ flip3-+
184×	unswap-sqr
173×	fma-def
165×	cbrt-unprod
152×	sqrt-div
124×	diff-log sub-neg
104×	exp-sum
90×	associate-*l/ sqrt-pow1
76×	unpow2
75×	clear-num frac-2neg
73×	pow-unpow
72×	associate-/l/
70×	pow-prod-down
68×	neg-mul-1
67×	pow1/2
63×	distribute-rgt-in rec-exp 1-exp distribute-lft-in
55×	associate-+r+
54×	associate-*r/
49×	log-div
48×	*-commutative
47×	pow1/3
45×	sum-log frac-times
42×	cbrt-div
39×	tan-quot
35×	rem-sqrt-square pow-to-exp pow-exp
32×	fma-udef swap-sqr
30×	pow-flip +-commutative
28×	div-sub
27×	rem-log-exp
24×	complex-mul-def
21×	associate--l+
19×	neg-sub0
18×	pow-pow
17×	frac-sub
16×	inv-pow
15×	associate--l-
14×	frac-add neg-log associate-+l- associate--r+
12×	cube-div hypot-def pow-prod-up
11×	difference-cubes
10×	pow-div distribute-rgt-out--
9×	pow-sqr
7×	exp-diff rem-cube-cbrt
6×	*.c-commutative
5×	associate-+r- sub-div pow-plus sin-mult cos-mult
4×	rem-exp-log sqrt-unprod pow2 +.c-commutative complex-add-def
3×	un-div-inv difference-of-sqr-1 exp-to-pow
2×	expm1-def frac-2neg.c associate--r- exp-neg distribute-frac-neg associate-*l*.c cos-sum tan-sum rem-cbrt-cube associate-+l+.c sin-sum
1×	sub0-neg sin-cos-mult sqrt-pow2 log1p-udef distribute-lft-neg-out diff-atan log1p-expm1 diff-cos expm1-log1p rem-square-sqrt distribute-rgt-neg-out expm1-udef diff-sin