Use find_equiv in term