rewrite743.0ms (2.4%)

Algorithm

38×	rewrite-expression-head

Calls

95 calls:

30.0ms	(+ x (- (/ 1 (/ (- 1 (* (tan y) (tan z))) (+ (tan y) (tan z)))) (tan a)))
13.0ms	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
13.0ms	(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
11.0ms	(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin b) (sin a)))))
11.0ms	(* (* x (* (cbrt (sqrt 2.0)) (neg (cbrt (sqrt 2.0))))) (cbrt (sqrt 2.0)))

Rules

973×	add-exp-log
614×	add-sqr-sqrt
542×	prod-exp
523×	*-un-lft-identity
438×	add-cube-cbrt
386×	add-cbrt-cube
326×	associate-*r*
325×	times-frac
311×	pow1
179×	associate-*l*
175×	sqrt-prod
151×	cbrt-unprod
148×	pow-exp
132×	div-exp
126×	add-log-exp
118×	pow-prod-down
87×	pow-to-exp
79×	unswap-sqr
70×	tan-quot
68×	associate-/r*
64×	associate-/l*
53×	*-commutative
48×	associate-/r/
45×	cbrt-undiv unpow-prod-down
34×	cbrt-prod
32×	sqr-pow
31×	div-inv
30×	distribute-lft-neg-in distribute-rgt-neg-in
28×	distribute-lft-out
24×	sin-mult
22×	associate-*r/ frac-times
20×	cos-mult
19×	clear-num flip-- frac-2neg flip3--
17×	associate-*l/ distribute-lft-out--
14×	distribute-rgt-neg-out
13×	difference-of-squares
12×	frac-sub sqrt-pow1
11×	flip-+ flip3-+ pow1/2
10×	sub-neg sub-div diff-log
8×	associate-/l/
7×	frac-add sum-log
6×	rem-sqrt-square pow-unpow associate-+r+
4×	distribute-lft-neg-out +-commutative neg-mul-1 pow-sqr pow-prod-up pow-pow
3×	cube-div associate-+r-
2×	tan-sum cos-sum pow-plus sqrt-unprod sqrt-div 1-exp div-sub rec-exp rem-cube-cbrt
1×	pow2 inv-pow cube-prod swap-sqr cube-mult pow-flip unpow3