Risch_algorithm