(32sqrt(x))'