I would like to see better DAE solvers in Maple (medbfi, rkf45_dae, rosenbrock_dae, perhaps new solvers should be added). The current versions of these solvers are perhaps good for solving simple DAEs, but not for DAEs with singularities, pseudo-equilibrium and singularity-induced bifurcation points.