使用sympy求解带有三角函数的多元方程组

比如求解：
x+xsin(pi/2 + ALPHA) = b
xsin(pi/10 - ALPHA) = c
其中，b和c已知，求x和ALPHA.
求帮助，万分感谢。

import sympy
#去算吧，反正我的内存到了5G都没算出来
x = sympy.Symbol('x')
ALPHA = sympy.Symbol("ALPHA")
b = 1
c = 1.4
res = sympy.solve([x *(1 + sympy.sin(3.1415926/ 2 + ALPHA)) - b, x * sympy.sin(3.1415926 / 10 - ALPHA) - c], [ALPHA, x])
print(res)