sympy__sympy-15346

can't simplify sin/cos with Rational?

Verdict: the fix is stated in the issue (Tier A).

I think that this issue could be fixed by changing the order of `TRmorrie` and `TR10i`. (But, of course, there may be other issues in simplification that this will not resolve.)

The text states the fix: “I think that this issue could be fixed by changing the order of `TRmorrie` and `TR10i`. (But, of course, there may be other issues in simplification that this will not r…”

All SWE-bench Lite tasks · more sympy/sympy tasks · How the check works