0x2845b2392b6bec59, 0x66e12d94f3d95620} p256OrdMul(_1, x, RR) // _1 p256OrdSqr(x, _1, 1) // _10 p256OrdMul(_11, x, _1) // _11 p256OrdMul(_101, x, _11) // _101 p256OrdMul(_111, x, _101) // _111 p256OrdSqr(x, _101, 1) // _1010 p256OrdMul(_1111, _101, x) // _1111 p256OrdSqr(t, x, 1) // _10100 p256OrdMul(_10101, t, _1) // _10101 p256OrdSqr(x, _10101, 1) // _101010 p256OrdMul(_101111, _101, x) // _101111 p256OrdMul(x, _10101, x) // _111111 = x6 p256OrdSqr(t, x, 2) // _11111100 p256OrdMul(t, t, _11) // _11111111...