Suppose I choose two rational functions, say, $u = \frac{t(4+t)^5}{(1+4t)^5}, \qquad v = \frac{t^5 (4+t)}{(1+4t)}.$ Then I know that $K(X):= \mathbf{C}(u,v)$ is the function field of the projective line (Proof: If $K(Y):=\mathbf{C}(t)$, then there is an inclusion $K(Y) \subseteq K(X)$, and hence a surjection $Y \simeq \mathbf{P}^1 \rightarrow X$, and so $X$ must have genus $0$.) From this follows that $K(X) \simeq \mathbf{C}(s)$ for some $s \in \mathbf{C}(t)$. Is there a practical easy algorithm to explicitly construct such an $s$, and, moreover, write $s$ as a rational function of $X$ and $Y$? Is there an easy way at least to determine the degree of the map $Y \rightarrow X$?
In case you were wondering, the specific choice of $X$ and $Y$ was motivated by the question:
https://mathoverflow.net/questions/50804/deciding-whether-a-given-power-series-is-modular-or-not