a^5+b^2=a^3b, b^4 = (a^6+1)^3-1