Simplify square root of 128x^1*5