Simplify square root of t^2+1