blob: d682b1626e725351d37fe781cfcbed3f86e581e6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
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
|
