Интеграция Sympy с коэффициентом и раскладкой (x) не дает упрощенных результатов ⇐ Python

[Anonymous]

Я пытаюсь использовать Sympy для интегрирования 1/(1 + cot(x)) для переменной x (или ее эквивалента sin(x)/(sin(x) + cos(x))). >
Я пробовал

Код: Выделить всё

from sympy import *
x = symbols("x", real=True)
integrate(sin(x) / (sin(x) + cos(x)), x)

и результаты выглядят хорошо:


Но пока я пытаюсь

Код: Выделить всё

from sympy import *
x = symbols("x", real=True)
integrate(1 / (1 + cot(x)), x)

он ​​создает


В этом нет ничего плохого, потому что я пытался вручную упростить результат до приведенных выше результатов.


поскольку это не упрощено, я вызвал функцию упрощения() для этого результата , но я получил следующее:


Однако это снова правильно, но не очень упрощенно. Мои вопросы:

• В таком случае, как я могу получить правильно упрощенный результат, если попытаюсь интегрировать интегрировать(1 ​​/ (1 + cot( x)), x) (или любые другие подобные функции этого типа).
• Если 1 невозможно, как мне вручную указать Sympy, чтобы он мог правильно создать для меня упрощенный результат?

Подробнее здесь: https://stackoverflow.com/questions/793 ... ed-results