Y1Squared = Y1^2
T = Y1Squared^2
X1Squared = X1^2
M = 3 * X1Squared
Z1Squared = Z1^2
Z1Pow4 = Z1Squared^2
t0 = Z1Pow4 * a
M = M + t0
t1 = X1 * Y1Squared
S = 4 * t1
t2 = 2 * S
t3 = M^2
X3 = t3 - t2
t4 = 8 * T
t5 = S - X3
t6 = t5 * M
Y3 = t6 - t4
Z3 = 2 * Y1
Z3 = Z3 * Z1