test sympy074 with Travis