Details

rewrite21.6s (3.0%)

Algorithm

123×	rewrite-expression-head

Calls

408 calls:

871.0ms	(- (+ (/ (sin x) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos x))) (/ (sin eps) (* (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))) (cos eps)))) (/ (sin x) (cos x)))
692.0ms	(* (/ (sqrt 2.0) 1) (+ (/ (sqrt 2.0) (pow x 5)) (/ (sqrt 2.0) (pow x 3))))
522.0ms	(+ (/ (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (exp (- x)))
514.0ms	(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (* (- (* 1.0 x) (log 1.0)) (- (* (pow 1.0 2) (+ (* 1.0 x) (log 1.0))) (* 1/2 (pow x 2))))) (* (- (* 1.0 x) (log 1.0)) (pow 1.0 2)))
409.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

Rules

4556×	add-sqr-sqrt
4538×	*-un-lft-identity
4226×	times-frac
2862×	add-cube-cbrt
2203×	sqrt-prod
1412×	add-exp-log
1110×	add-cbrt-cube
839×	associate-*l*
720×	pow1
701×	difference-of-squares
694×	add-log-exp
535×	unpow-prod-down
483×	distribute-lft-out--
474×	associate-/r*
457×	associate-*r*
424×	associate-/l*
392×	distribute-lft-out
363×	prod-exp
298×	div-exp
283×	cbrt-prod
255×	sqr-pow
238×	flip-- flip3--
233×	cbrt-unprod
223×	cube-prod
207×	cbrt-undiv
196×	div-inv
192×	associate-/r/
185×	log-prod
176×	unswap-sqr
150×	flip-+ flip3-+
115×	diff-log
111×	sub-neg associate-*r/
101×	pow-prod-down
99×	pow-unpow
88×	associate-*l/
83×	frac-2neg clear-num
82×	log-pow
74×	pow-exp
71×	*-commutative
69×	frac-times
68×	associate-/l/
67×	sqrt-pow1
64×	pow-to-exp swap-sqr
56×	cbrt-div sqrt-div
54×	pow1/2
52×	distribute-rgt-in distribute-lft-in
50×	distribute-rgt-neg-in
46×	log-div pow1/3 exp-prod
40×	unpow3 cube-mult
39×	sum-log
38×	unpow-prod-up
34×	frac-add exp-sum
29×	rem-sqrt-square 1-exp frac-sub
28×	div-sub rec-exp tan-quot
27×	associate--l+
26×	pow-pow +-commutative
21×	distribute-lft-neg-in neg-mul-1
20×	pow-flip
17×	associate--r+
16×	cube-div
15×	pow-prod-up
14×	neg-sub0
13×	rem-cube-cbrt complex-mul-def rem-log-exp
12×	associate-+l+
11×	associate--l- pow-sqr
10×	pow-div exp-diff unpow2 pow-sub
7×	e-exp-1
6×	difference-cubes inv-pow neg-log sin-mult
5×	exp-neg pow-plus rem-cbrt-cube associate-+l- pow2
4×	un-div-inv distribute-frac-neg *.c-commutative
3×	rem-exp-log distribute-rgt-out-- +.c-commutative
2×	cos-sum sqrt-unprod associate--r- associate-+r+ complex-add-def rem-square-sqrt cos-mult tan-sum exp-to-pow sin-sum
1×	sub0-neg associate-+r- associate-+l+.c diff-atan sin-cos-mult diff-cos associate-*l*.c sub-div frac-2neg.c diff-sin