Details

rewrite16.2m (56.2%)

Algorithm

116×	rewrite-expression-head

Calls

373 calls:

2.2m	(+ (/ (* (/ (sin x) (cos x)) (/ (sin x) (cos x))) (* x x)) (- (/ (/ (sin x) (cos x)) x) (+ (/ (sin x) x) (/ (/ (* (sin x) (sin x)) (cos x)) (* x x)))))
1.6m	(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (+ (* b (+ (* 1/6 (* (* (* b eps) (* b eps)) eps)) eps)) (* (* (* b eps) (* b eps)) 1/2))))
1.6m	(* (- (exp (* a eps)) 1) (+ (* b (+ (* 1/6 (* (* (* b eps) (* b eps)) eps)) eps)) (* (* (* b eps) (* b eps)) 1/2)))
47.6s	(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan eps) (tan x)) (* (* (tan eps) (tan x)) (* (tan eps) (tan x)))))) (+ (* 1 1) (+ (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* 1 (* (tan eps) (tan x)))))) (tan x))
23.4s	(+ (* b (+ (* 1/6 (* (* (* b eps) (* b eps)) eps)) eps)) (* (* (* b eps) (* b eps)) 1/2))

Rules

23444×	*-un-lft-identity
18714×	add-sqr-sqrt
14273×	times-frac
9845×	add-cube-cbrt
7951×	associate-*l*
7134×	frac-times
6475×	associate-/r*
6073×	associate-/l*
5691×	associate-*r*
5575×	distribute-lft-out
5262×	frac-sub
5258×	frac-add
4943×	sqrt-prod
3481×	flip-+ flip3-+
2706×	unswap-sqr
2271×	difference-of-squares
2259×	associate-/l/
1981×	associate-*l/
1929×	flip3-- flip--
1889×	distribute-lft-out--
1817×	clear-num
1711×	associate-*r/
1655×	frac-2neg
1439×	add-exp-log
1276×	pow1
1262×	add-cbrt-cube
1064×	swap-sqr
1058×	*-commutative
997×	associate-/r/
630×	add-log-exp
603×	sqrt-div
438×	prod-exp
399×	div-inv
380×	cbrt-unprod
377×	difference-of-sqr-1
362×	insert-posit16
351×	pow-prod-down
324×	un-div-inv
310×	tan-quot
261×	div-exp
234×	cbrt-prod
228×	log-prod
195×	cbrt-undiv
144×	distribute-rgt-out
130×	pow-unpow
114×	unpow-prod-down
113×	exp-prod
108×	log-pow
101×	pow-prod-up
96×	sub-neg
93×	diff-log
86×	pow3
85×	+-commutative
82×	cube-unmult
81×	log-div
80×	sum-cubes
76×	distribute-rgt-in distribute-lft-in
69×	pow-sqr
66×	distribute-rgt-out--
58×	pow-plus
54×	sqr-pow
52×	sqrt-pow1 cbrt-div
48×	sum-log
46×	pow1/2
38×	associate-+r+
36×	pow2
29×	rem-sqrt-square
28×	associate--l+ div-sub
26×	rem-log-exp
25×	pow1/3
24×	1-exp rec-exp
23×	associate-+l+
21×	pow-flip
19×	distribute-rgt-neg-in
18×	distribute-lft1-in
17×	associate--r+
16×	pow-exp pow-to-exp
13×	exp-sum sub-div
11×	inv-pow
10×	associate--l- pow-pow
8×	log-rec
7×	sin-cos-mult
6×	neg-sub0 exp-diff
5×	sin-mult
4×	sin-sum sqrt-unprod tan-sum rem-exp-log cos-sum e-exp-1
3×	sqr-sin
2×	associate-+r- neg-log exp-neg +.c-commutative associate-+l-
1×	diff-atan frac-2neg.c exp-to-pow rem-square-sqrt diff-sin diff-cos