Details

rewrite12.4s (6.0%)

Algorithm

120×	rewrite-expression-head

Calls

392 calls:

1.3s	(- (/ (pow (* (cos x) (cos eps)) 3) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (+ (/ (pow (* (sin x) (sin eps)) 3) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x)))
624.0ms	(- (/ (- (pow (* (cos x) (cos eps)) 3) (pow (* (sin x) (sin eps)) 3)) (+ (* (* (sin x) (sin eps)) (+ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (* (* (cos x) (cos eps)) (* (cos x) (cos eps))))) (cos x))
262.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
237.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos eps) (cos x))))) (tan x))
194.0ms	(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))

Rules

5276×	add-sqr-sqrt
5260×	*-un-lft-identity
5216×	times-frac
3191×	add-cube-cbrt
2210×	sqrt-prod
1519×	add-exp-log
1077×	add-cbrt-cube
833×	pow1
814×	difference-of-squares
808×	associate-*l*
685×	add-log-exp
638×	unpow-prod-down
603×	distribute-lft-out--
584×	associate-*r*
496×	associate-/l*
453×	distribute-lft-out
415×	prod-exp
401×	associate-/r*
345×	div-exp
314×	sqr-pow
310×	log-prod
277×	cbrt-prod
272×	unswap-sqr
260×	flip3-- flip--
232×	cbrt-unprod
221×	cube-prod associate-/r/
220×	div-inv
210×	cbrt-undiv
203×	associate-*l/
163×	flip-+ flip3-+
158×	unpow2
147×	pow-prod-down
139×	pow-unpow
127×	sub-neg
116×	diff-log
115×	sqrt-div
113×	sqrt-pow1
100×	associate-/l/
98×	associate-*r/
97×	log-pow
94×	pow-exp
90×	pow-to-exp
83×	pow1/2
79×	swap-sqr
77×	frac-times
76×	*-commutative
75×	frac-2neg clear-num
73×	distribute-rgt-neg-in
52×	exp-prod
51×	cbrt-div distribute-rgt-in distribute-lft-in
50×	1-exp
49×	frac-add
46×	rec-exp
45×	rem-sqrt-square
44×	sum-log
37×	log-div
36×	pow-flip rem-log-exp
34×	pow1/3 pow-prod-up
31×	associate-+l+ tan-quot
29×	frac-sub
28×	pow-sqr +-commutative
25×	div-sub
24×	complex-mul-def
23×	distribute-rgt-out--
21×	exp-sum
19×	pow-pow unpow3 cube-mult neg-sub0 cos-mult
18×	inv-pow
17×	associate--r+
16×	associate--l- associate--l+
15×	neg-log
12×	pow-plus
10×	pow-div difference-cubes
9×	cube-div exp-diff rem-cube-cbrt pow2
8×	associate-+l-
7×	sub-div
6×	sin-mult *.c-commutative
5×	sqrt-unprod difference-of-sqr-1 associate-+r+
4×	+.c-commutative complex-add-def log-rec
3×	unpow-prod-up
2×	cos-sum un-div-inv rem-exp-log associate-+l+.c associate-+r- exp-neg pow-sub rem-square-sqrt associate-*l*.c +-inverses sqr-cos tan-sum frac-2neg.c sin-sum
1×	e-exp-1 quot-tan associate--r- diff-atan sin-cos-mult diff-cos distribute-rgt-out rem-cbrt-cube diff-sin exp-to-pow