Details

rewrite12.3s (6.1%)

Algorithm

120×	rewrite-expression-head

Calls

391 calls:

1.2s	(- (/ (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)))
635.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))
277.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
236.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos eps) (cos x))))) (tan x))
222.0ms	(/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0))

Rules

4804×	add-sqr-sqrt
4787×	*-un-lft-identity
4365×	times-frac
2748×	add-cube-cbrt
1440×	add-exp-log
1142×	sqrt-prod
1033×	add-cbrt-cube
824×	pow1
810×	difference-of-squares
691×	add-log-exp
638×	unpow-prod-down
607×	distribute-lft-out--
587×	associate-*r*
586×	associate-*l*
482×	associate-/l*
435×	distribute-lft-out
385×	associate-/r*
373×	prod-exp
357×	cbrt-prod
329×	div-exp
314×	sqr-pow
310×	log-prod
268×	unswap-sqr
261×	flip3-- flip--
221×	cube-prod associate-/r/
220×	associate-*l/
216×	cbrt-unprod
212×	div-inv
198×	cbrt-undiv
172×	flip-+ flip3-+
158×	unpow2
150×	pow-prod-down
139×	pow-unpow
129×	sub-neg
122×	sqrt-div
118×	diff-log
101×	associate-/l/
100×	associate-*r/
97×	log-pow sqrt-pow1
92×	pow-exp
88×	pow-to-exp
85×	frac-times
79×	swap-sqr
75×	pow1/2 *-commutative
73×	frac-2neg clear-num distribute-rgt-neg-in
63×	cbrt-div
52×	1-exp exp-prod
51×	distribute-rgt-in distribute-lft-in
49×	frac-add
46×	sum-log
42×	rec-exp
41×	rem-sqrt-square
37×	log-div
36×	rem-log-exp
35×	pow1/3
34×	pow-prod-up
31×	associate-+l+ tan-quot
29×	+-commutative frac-sub
28×	pow-sqr
25×	div-sub
24×	complex-mul-def
23×	distribute-rgt-out--
22×	pow-flip
21×	exp-sum
19×	pow-pow unpow3 cube-mult neg-sub0 cos-mult
17×	inv-pow associate--r+
16×	associate--l- associate--l+
15×	neg-log
12×	pow-plus
10×	difference-cubes
9×	cube-div exp-diff rem-cube-cbrt pow2
8×	associate-+l-
7×	associate-+r+ sub-div
6×	sin-mult *.c-commutative
5×	sqrt-unprod difference-of-sqr-1
4×	pow-div +.c-commutative complex-add-def log-rec
3×	associate-+r- unpow-prod-up
2×	cos-sum un-div-inv rem-exp-log associate-+l+.c exp-neg pow-sub rem-square-sqrt associate-*l*.c +-inverses sqr-cos tan-sum frac-2neg.c sin-sum
1×	e-exp-1 associate--r- diff-atan sin-cos-mult diff-cos distribute-rgt-out rem-cbrt-cube diff-sin exp-to-pow