Kovacic's algorithm