rewrite1.1s (3.7%)

Algorithm

38×	rewrite-expression-head

Calls

107 calls:

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

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×	difference-of-squares cos-mult div-inv
22×	flip-- flip3-- distribute-lft-out pow-prod-up
20×	distribute-rgt-out
19×	distribute-lft-out--
18×	frac-sub
17×	tan-quot
15×	clear-num frac-2neg
14×	pow-sqr pow1/3
12×	diff-log pow-unpow sub-neg swap-sqr
11×	cube-div cube-prod
10×	sub-div
9×	rem-sqrt-square
8×	sum-log
7×	flip-+ flip3-+ cbrt-div pow-pow
6×	unpow3 cube-mult associate-+r+ associate-*r/
5×	+-commutative rem-cube-cbrt
4×	associate-*l/ distribute-lft1-in sqrt-div associate-/l/ distribute-rgt1-in count-2
3×	associate-+r- rem-cbrt-cube
2×	cos-sum pow-plus tan-sum sqrt-unprod pow2 frac-times
1×	rem-square-sqrt div-sub