The top documents tagged [real root of f x]