t0 = X1 * X2
t1 = Y1 * Y2
t3 = X2 + Y2
t4 = X1 + Y1
t3 = t3 * t4
t4 = t0 + t1
t3 = t3 - t4
t4 = Y2 * Z1
t4 = t4 + Y1
Y = X2 * Z1
Y = Y + X1
Z = Z1 * b
X = Y - Z
X = X * 3
Z = t1 - X
X = X + t1
Y = Y * b
t2 = Z1 * 3
Y = Y - t2
Y = Y - t0
Y = Y * 3
t0 = t0 * 3
t0 = t0 - t2
t1 = t4 * Y
t2 = t0 * Y
Y = X * Z
Y3 = Y + t2
X = X * t3
X3 = X - t1
Z = Z * t4
t3 = t3 * t0
Z3 = Z + t3