Cylindrical_algebraic_decomposition loading ...