My Math skills got real rustic over time so bear with a (hopefully) simple question:
I'm looking for a way to compute $n$ from this formula, where $\cot(x)$ is the cotangent.
$$\cot(n) = \frac{\pi}{4} = 0.785\ 398\ 163 \dots$$
Based on my source $n$ is $51^\circ 51^\prime 14.3251^{\prime\prime}$ (maybe the decimal points are a bit off, don't worry about it too much, it's all computed by hand), but I want to understand it myself and not just blindly trust it.
I tried $\tan(\frac{\pi}{4})$ and $\mathrm{acot}(\frac{\pi}{4})$ but both don't seem to do the trick (or I missed something).
Also does something like a natural or logarithmic $\cot(x)$ exist?
My book is about 100 years old, so maybe things are named differently today.