Definition.
(
Tangens, Cotangens
)
tan
x
:=
sin
x
cos
x
,
cot
x
:=
cos
x
sin
x
.