a tool for simplifying roots extensions