Gross-Zagier formula for the $4, 7$ cases of Sylvester's conjecture

In \cite{Yin26}, the author constructed some CM points on the elliptic curves $E_{p^i}:y^2=x^3+\frac{p^{2i}}{4}$ for primes $p\equiv 4,7\mod 9$ and $i=1,2$, which give rational points on the curves $x^3+y^3=p^i$.

This solves the $4,7$ cases of Sylvester's conjecture.

In this paper, we prove the explicit Gross-Zagier formula relating the height of our CM points and the derivative of the $L$-functions of $E_{p^i}$.