Lobachevsky_function loading ...