(((g1 * r1) @ (g2 * r2)) * (s1 * s2)) + ((((g2 * Fr(2)) + ((g2 * s2) * r2))) * (~s1)) + ((((g1 * Fr(3)) + ((g1 * s1) * r1)) @ (g2 * r2)) * (~s2)) + (((g1 * Fr(3)) + ((g1 * s1) * r1)) @ ((g2 * Fr(2)) + ((g2 * s2) * r2)))
