x^2+1=y^z