t0 = X1^2 t1 = X1*t0 R = a*t1 t2 = Y1^2 V = Y1*t2 t3 = Z1^2 S = Z1*t3 wS = w*S wV = w*V wSV = wS-wV t4 = R+S F = t4+V t5 = R+wSV G = t5-V t6 = R-S H = t6-wSV t7 = F^2 A = F*t7 t8 = f*A B = A-t8 t9 = G^2 C = G*t9 t10 = H^2 D = H*t10 wC = w*C wD = w*D wCD = wC-wD t11 = B+C t12 = t11+D X3 = 3overd*t12 t13 = B+wCD Y3 = t13-D t14 = B-C Z3 = t14-wCD