source 2009.04.01 Arene--Lange--Naehrig--Ritzenthaler
appliesto jacobian-0
compute A = X1^2
compute B = Y1^2
compute ZZ = Z1^2
compute C = B^2
compute D = 2 ((X1 + B)^2 - A - C)
compute E = 3 A
compute F = E^2
compute X3 = F - 2 D
compute Y3 = E (D - X3) - 8 C
compute Z3 = (Y1 + Z1)^2 - B - ZZ
