<s>[INST] Why is $y^2 = 1+x^4$ an elliptic curve? I saw in a document  that $y^2 = 1+x^4$ is (the affine equation of) an elliptic curve. Why is it the case? Typically, SAGE tells me it is isomorphic to $y^2 = x^3 - 4x$, which is an elliptic curve with Weierstrass equation, but I don't know how to prove this.
Thank you!
 [/INST] A very concrete answer to your question can be found in Exercise 1.15 on page 31 of Silverman and Tate's Rational Points on Elliptic Curves (2nd Edition).
You ask in a comment to your question: 

Do all equations of the form $y^2 = \text{quartic}$ give elliptic curves?

The answer is clearly no, since for example the curve $y^2 = x^4$ has a singularity at the origin. Nevertheless, if you add the assumption that the quartic has no repeated roots then the answer is yes, as has already been mentioned in another answer.
In particular, the content of the exercise mentioned above says that if $g(t) \in \mathbb{C}[t]$ is a quartic polynomial, if $\alpha \in \mathbb{C}$ is a root of $g(t)$, and if $\beta \neq 0$ is any number, then the equations
\begin{align*}
x = \frac{\beta}{t - \alpha} \quad \text{and} \quad y = x^2 u = \frac{\beta^2 u}{(t - \alpha)^2}
\end{align*}
give a birational transformation $\phi: \mathcal{Q} \dashrightarrow \mathcal{E}$ between the curve $\mathcal{Q}: u^2 = g(t)$ and the curve $\mathcal{E}: y^2 = f(x)$, where
\begin{align*}
\phi: \mathcal{Q} &\dashrightarrow \mathcal{E}\\
(t, u) &\mapsto (x, y) = \left(\frac{\beta}{t - \alpha}, \frac{\beta^2 u}{(t - \alpha)^2} \right)
\end{align*}
and $$f(x) = g'(\alpha) \beta x^3 + \dfrac{g''(\alpha)}{2!} \beta^2 x^2 + \dfrac{g'''(\alpha)}{3!} \beta^3 x + \dfrac{g^{''''}(\alpha)}{4!} \beta^4$$
is cubic. Moreover, the exercise asks to show that if all the complex roots of $g(t)$ are different, then also the roots of $f(x)$ are distinct, and hence that $\mathcal{Q}: u^2 = g(t)$ is an elliptic curve.


An Example

For instance we can apply this to the curve $u^2 = 1 - t^4$ (the roots of $1 - t^4$ are slightly easier to work with than the roots of $1 + t^4$). In this case $g(t)= 1 - t^4$ has as roots the fourth roots of unity $\pm 1, \pm i$. If we choose $\alpha = 1$ and $\beta = -\dfrac{1}{4}$, then the transformation 
\begin{align*}
x = -\frac{1}{4} \frac{1}{t - 1} \quad \text{and} \quad y = \frac{1}{16} \frac{u}{(t - 1)^2}
\end{align*}
gives a birational transformation with the curve
$$
y^2 = f(x) = x^3 - \frac{3}{8}x^2 + \frac{1}{16} x - \frac{1}{256},
$$
which is already in Weierstrass form. Moreover, if you want you can depress the cubic by making the change $x \mapsto X - \dfrac{1}{3}\left( -\dfrac{3}{8} \right) = X + \dfrac{1}{8}$ and $y \mapsto Y$, which gives you the equation
$$
Y^2 = X^3 + \frac{1}{64} X.
$$
</s>