How do you solve #log_(1/2) (x^3 + x) + log_(1/2) (x^4 - 2x) = 1#?
It is easy to prove that this has only one real root that is positive. Also, using sign test, f(1.29) < 0 and f(1.3) > 0. The root is in (129, 1.3.
Really, rounded to 3-sd. it is 1.29.