Татушник, а формулы для геометрии Лобачевского слабо вычислить? если что, можно опираться на решение прямоугольного треугольника, многие задачи можно к ним свести.