rewrite917.0ms (2.9%)

Algorithm

38×	rewrite-expression-head

Calls

98 calls:

197.0ms	(sqrt (+ (pow x 2.0) (pow x 2.0)))
24.0ms	(- (/ (cbrt (pow (+ (tan y) (tan z)) 3)) (- 1 (* (tan y) (tan z)))) (tan a))
19.0ms	(/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))
19.0ms	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
16.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))

Rules

971×	add-exp-log
625×	prod-exp
620×	add-sqr-sqrt
505×	*-un-lft-identity
440×	add-cube-cbrt
359×	add-cbrt-cube
335×	times-frac
291×	pow1
207×	associate-*l*
186×	associate-*r*
149×	pow-exp
147×	cbrt-unprod
140×	pow-to-exp
133×	add-log-exp
129×	cbrt-prod
125×	unpow-prod-down
119×	sqrt-prod
92×	pow-prod-down
87×	div-exp
75×	associate-/r*
68×	unswap-sqr
56×	sin-mult
51×	cos-mult
46×	*-commutative
43×	associate-/r/ associate-/l*
42×	sqr-pow
39×	difference-of-squares
35×	cbrt-undiv
27×	div-inv
26×	frac-sub
23×	associate-/l/ tan-quot
19×	flip-- flip3-- distribute-lft-out distribute-lft-out--
17×	sub-div associate-*l/
16×	associate-*r/ clear-num frac-2neg
13×	flip-+ flip3-+
12×	sub-neg pow1/3 diff-log frac-times
10×	sqrt-pow1 distribute-rgt-out
9×	pow-unpow cube-prod pow-sqr pow-prod-up
8×	frac-add
7×	sum-log
6×	cube-div associate-+r+ pow1/2
5×	rem-sqrt-square pow-plus swap-sqr unpow2
4×	+-commutative sqrt-div pow-pow
3×	pow2 cbrt-div associate-+r- div-sub
2×	tan-sum cos-sum distribute-lft1-in count-2 cube-mult distribute-rgt1-in unpow3
1×	rem-cbrt-cube rem-cube-cbrt