solve(sin(x^2+1)+x^x=3)