But the problem is that I need to use lower precision for the test. I don't think that mpmath can combine both precisions at once, can it? When I tried this in sympy, the coefficients got converted to low precision...