I have this: 2 sqrt(2) s (%o52) ------------------------------- 2 2 sqrt(2) w + 2 s w + sqrt(2) s I want to divide num and den by sqrt(2), resulting in: 2 s (%o52) ------------------------- 2 2 w + sqrt(2) s w + s What's the easiest way to do this?