Так что я могу ошибаться, потому что я не использую sympy, но решение, которое возвращают решатели, кажется мне основополагающим.
ImageSet(Lambda(_n, 2*_n*pi), Integers)
Из того, что я понимаю, решатель возвращает лямбда-функцию.Cosinus - циклическая функция, которая означает, что она повторяет свое значение каждые 2PI.Поэтому решатель говорит, что первое решение (_n = 0) равно 0, второе (_n = 1) - 2pi и т. Д.
посмотрите на график функций, и мы надеемся, что оно будет иметь смысл: Wolfram Alpha -(cos (x) - 1)
РЕДАКТИРОВАТЬ: я думаю, что вам нужно использовать метод пересечения изображения, как это (обратите внимание, что пересечение возвращает все пересечения, здесь я выбрал только первое):
from sympy import nonlinsolve, symbols,cos, Interval
import math
x = symbols('x')
f = nonlinsolve([cos(x)-1], [x]).args[0][0]
sol = f.intersect(Interval(0, math.pi/2)).args[0]
print(sol)