Simplify (a^4)^3