// Assuming x,y are SGens of Th get <o1,o2> = 31:15.
// Probably not recommended for use in free groups and the like.
a1:=(x,y)^5*(x,y^-1)^5;
b1:=y*x*y*(x,y*x*y)^4;
c1:=(a1^3*b1)^4*((a1^3*b1)^4)^((a1*b1)^6)*a1*b1^9*a1^4*b1^4*a1^5*b1^8*a1^3;
o1:=(x*y)^5*(x*y^2)^2*x*y*(x*y^2)^4;
o2:=((x*y)^12*(x*y^2)^4*(x*y)^4*(x*y^2)^3)^-1*c1*(x*y)^10*(x*y^2)^10*(x*y)^6;