partial fraction -4t/((1+t^2)(t-1-sqrt(2))(t-1+sqrt(2)))