rootof partially solved + eval_roots