rewrite837.0ms (1.0%)

Algorithm

42×	rewrite-expression-head

Calls

119 calls:

22.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
20.0ms	(/ (- (* (tan y) (tan y)) (* (tan z) (tan z))) (* (- 1 (* (tan y) (tan z))) (- (tan y) (tan z))))
14.0ms	(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
14.0ms	(* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
12.0ms	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))

Rules

1122×	add-exp-log
757×	add-sqr-sqrt
713×	prod-exp
595×	*-un-lft-identity
519×	add-cube-cbrt
428×	add-cbrt-cube
375×	pow1
300×	times-frac
247×	associate-*r*
239×	associate-*l*
213×	unpow-prod-down
191×	pow-exp
175×	cbrt-unprod
172×	pow-to-exp
149×	add-log-exp
143×	sqrt-prod
136×	cbrt-prod
108×	pow-prod-down
104×	unswap-sqr
90×	div-exp
71×	sqr-pow
66×	tan-quot
59×	associate-/l*
57×	associate-/r*
56×	*-commutative
52×	pow-unpow
38×	associate-/r/
37×	cbrt-undiv
29×	cbrt-div frac-times sin-mult distribute-lft-out
28×	div-inv
27×	associate-*l/ cos-mult
26×	frac-sub flip-- flip3--
25×	associate-*r/ distribute-rgt-out
24×	pow1/3 swap-sqr difference-of-squares
22×	associate-/l/ distribute-lft-out--
20×	sqrt-pow1
17×	clear-num pow-sqr pow-prod-up frac-2neg
15×	neg-sub0 exp-neg exp-diff
14×	pow-pow
11×	pow-plus
10×	sub-neg sub-div diff-log
9×	pow2
8×	cube-div flip-+ flip3-+ pow1/2
6×	sum-log sqrt-div rem-cube-cbrt
5×	rem-sqrt-square distribute-lft1-in count-2 distribute-rgt1-in
4×	+-commutative associate-+r+ cube-prod cube-mult unpow3
3×	1-exp div-sub rec-exp exp-prod
2×	tan-sum cos-sum associate-+r-
1×	frac-add inv-pow un-div-inv rem-cbrt-cube pow-flip