Задача на Wolfram

Найти формулу симметрии относительно прямой на плоскости Лобачевского в модели единичного круга. Нарисовать окружность и посмотреть куда она переходит.
Требования: Первоначальная прямая задается слайдерами, а окружность с помощью Locator. Комментарии к задаче:
1) найти или вывести формулу для точки, симметричной данной точке относительно данной прямой
2)нарисовать множество точек, симметричных точкам данной окружности
при этом должна быть возможность
3)двигать прямую по плоскости
4)двигать центр окружности
5)менять радиус