simplifying isogenies