Prove the following:
6. cos cos sin sin sin( )
4 4 4 4
x y x y x y
π π π π
− − − − − = +
7.
2
π
tan
4 1 tan
π 1 tan tan
4
x
x
x
x
+
+
= −
−
8.
cos ( ) cos ( ) 2
cot
sin ( ) cos
2
x x
x
x x
π + −
=
π
π − +
9.
3π 3π cos cos (2π ) cot cot (2π ) 1