Simplify square root of t^17