BF: correct sympy error code, use quicker tests