solve(x**2-2*x-1)