Simplify (x^12)/(x^3)