Risch_algorithm loading ...