Lobachevsky's formula