solve(log(1/3,(x-1)*(x+1))>log(1/3,2))for x real