there is now an experimental solver, which can solve one equation containing (after simplification) one occurrence of X by isolation