Simplify square root of a square root of a^3