Sympy упрощает выражение с помощью формулы приведения в степень ⇐ Python

[Anonymous]

У меня есть следующее симпатичное выражение

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

>>> a

⎛2⋅π⋅(x - y)⎞
2 - 2⋅cos ───────────
⎝     P     ⎠

который я хотел бы упростить

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

2 ⎛π⋅(x - y)⎞
4⋅sin   ─────────
⎝    P    ⎠

используя (обратную) первую формулу снижения мощности, указанную в Википедии.
Вторая форма включает только 6 операций по сравнению с 7 операций первой формы, но когда я использую функцию fu из Sympy.simplify, пытаясь минимизировать количество операций, я получаю:

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

>>> fu(a, measure=lambda x: x.count_ops())

⎛2⋅π⋅(x - y)⎞
2 - 2⋅cos ───────────
⎝     P     ⎠

или в лучшем случае

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

>>> fu(sympy.expand_trig(a), measure=lambda x: x.count_ops())

2⎛π⋅(x - y)⎞
4 - 4⋅cos  ─────────
⎝    P    ⎠

который по-прежнему включает 7 операций.
Можно ли как-нибудь убедить Sympy вывести форму sin**2?

Подробнее здесь: https://stackoverflow.com/questions/790 ... on-formula