Christopher Smith

With this diff ```diff diff --git a/sympy/core/expr.py b/sympy/core/expr.py index e527ff0733..c4988aba7c 100644 --- a/sympy/core/expr.py +++ b/sympy/core/expr.py @@ -3522,9 +3522,14 @@ def leadterm(self, x, logx=None, cdir=0): l = l.subs(log(x), d) c, e...

`nsimplify` will give something close to the answer: ```python >>> nsimplify(pi.n(), tolerance=1e-6) 51/196 + sqrt(318945)/196 ``` Here I just set tolerance high, but the default tolerance will do the same...

> something better by combining bits of both Like providing an interface via equation to the input required in the other PR which handles the system at a lower level,...

ok, the docstrings are failing (I believe) because the canonical result differs from what you had before due to the use of `ordered`.

```diff diff --git a/sympy/solvers/inequalities.py b/sympy/solvers/inequalities.py index 7297cac3bb..df4921e803 100644 --- a/sympy/solvers/inequalities.py +++ b/sympy/solvers/inequalities.py @@ -8,6 +8,7 @@ from sympy.core.singleton import S from sympy.core.sorting import ordered from sympy.functions import Abs +from sympy.functions.elementary.miscellaneous...

Compared to #21687, this PR is very concrete in terms of input and output. The other is more abstract. I already know what to do with this one. Would the...

Here are some potential edits: CLICK TO SEE DIFF ```diff diff --git a/sympy/solvers/inequalities.py b/sympy/solvers/inequalities.py index a7804f5313..782abc6ff0 100644 --- a/sympy/solvers/inequalities.py +++ b/sympy/solvers/inequalities.py @@ -15,6 +15,7 @@ from sympy.polys import Poly, PolynomialError,...

From this {SO question](https://stackoverflow.com/questions/71225969/how-do-i-solve-inequalities-with-sympy) I can solve the first 9 or last 8 fairly quickly but more than this, it seems to hang. I have not investigated at all. ```python...

This PR and the other involving inequalities are doing two different things: the other is maximizing a linear function under constraints while this one is finding a symbolic range for...

Could you do the following with Or having a mix of equalities and inequalities? 1. create a Union of Intervals with Eq(x, i) -> Interval.open(i-1,i+1), Gt(x, i) -> Interval(i+1,oo), etc......