source 2008 Bernstein--Lange--Rezaeian Farashahi parameter e parameter f assume e^2 = d1 assume f^2 = d2/d1 + 1 assume Z1 = 1 compute C = W2(Z2+W2) compute D = W3(Z3+W3) compute E = Z2 Z3 compute F = W2 W3 compute V = C D compute U = V + (e E + f F)^2 compute W5 = V + W1 U compute Z5 = U