Simplify square root of t^15