How do you simplify sqrtx/12?