answered 1 year ago
Here a possible approach via an algebra over the free group:
F.<yy> = FreeGroup() A = F.algebra(QQ) y = A(yy) yinv = A(yy^-1) print( y*(y+1)*yinv )