rewrite1.1s (3.7%)

Algorithm

38×	rewrite-expression-head

Calls

107 calls:

200.0ms	(sqrt (+ (pow x 2.0) (pow x 2.0)))
187.0ms	(* 2.0 (pow x 2.0))
28.0ms	(- (/ (+ (tan y) (tan z)) (cbrt (pow (- 1 (* (tan y) (tan z))) 3))) (tan a))
17.0ms	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
17.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))

Rules

918×	add-exp-log
584×	prod-exp
579×	add-sqr-sqrt
457×	*-un-lft-identity
420×	pow1
394×	add-cube-cbrt
357×	add-cbrt-cube
216×	times-frac
205×	associate-*l*
182×	associate-*r*
177×	sqrt-pow1
172×	sqrt-prod
164×	pow-prod-down
144×	add-log-exp
137×	pow-exp
135×	pow-to-exp
130×	cbrt-unprod
89×	cbrt-prod unpow-prod-down
84×	div-exp
62×	unswap-sqr
47×	associate-/l*
44×	*-commutative
41×	associate-/r*
37×	pow1/2
35×	associate-/r/
34×	cbrt-undiv sqr-pow
32×	sin-mult
23×	cos-mult div-inv difference-of-squares
22×	flip-- pow-prod-up flip3-- distribute-lft-out
20×	distribute-rgt-out
19×	distribute-lft-out--
18×	frac-sub
17×	tan-quot
15×	clear-num frac-2neg
14×	pow1/3 pow-sqr
12×	pow-unpow sub-neg diff-log swap-sqr
11×	cube-div cube-prod
10×	sub-div
9×	rem-sqrt-square
8×	sum-log
7×	cbrt-div flip-+ flip3-+ pow-pow
6×	associate-*r/ associate-+r+ cube-mult unpow3
5×	+-commutative rem-cube-cbrt
4×	distribute-lft1-in count-2 sqrt-div associate-/l/ associate-*l/ distribute-rgt1-in
3×	associate-+r- rem-cbrt-cube
2×	pow2 tan-sum cos-sum pow-plus sqrt-unprod frac-times
1×	rem-square-sqrt div-sub