I have many equations of nature -
$y=ax^{12}+bx^5+5x^4+1$
For all these equations, I need to express x in terms of y. What tool or software would you recommend for this? I would much prefer to have a software give me the answer than me having to solve it by hand. Some of the equations are downright scary and way more complex that the one above.
Unfortunately, most equations such as you give do not have a nice inverse.
Consider a function like $y=x^2$. This has exactly one $y$-value for each $x$-value -- that's what makes it a function. What you are asking is about the inverse. You can visualize this by taking the graph of the original function, and swapping the roles of $y$ and $x$. The result is a function if the original equation has exactly one $x$-value for each $y$-value. Even for $y=x^2$, things get complicated. There are two values, namely $\sqrt{y}$ and $-\sqrt{y}$, if $y>0$. There is one value, namely $0$, if $y=0$. And there are no values if $y<0$. So there isn't an inverse, there are two, or one, or zero.
If you need a numerical approximation, i.e. you have numbers for $a,b$, and you know precisely which $y$ you care about, then there are various software packages that can find all the $x$ values that work, more or less.