Build a Calculus Interpreter I A struggling manufacturer named Tennessee Instrumental is desperate to get into the calculator business.  Problem is, they don't have any software engineers on payroll, and the deadline is coming up fast.

It's your job to help TI configure a basic calculus-ready calculator that can simplify expressions input as strings, and as a bonus (since they're on such a tight schedule), they don't care what language you use to get there!  They do, however, care about how much space you take up.  Not very good with hardware, it seems.  Keep it brief, fewest bytes gets you hired.

Goal

Create a function which can simplify a basic calculus expression

Your calculator must be able to perform the following operations:


+ Addition
- Subtraction and Negation
* Multiplication
/ Division
^ Exponentiation
() Parenthetical Reduction
()' Derivation (first order)


Your calculator must also be able to use x as a placeholder variable.  Do not solve for x.  That will come in time.

Input

Input is a string containing the plaintext version of the expression you're looking to simplify.  The only valid input characters are 0-9, x, +, -, *, /, ^, (), ', and .  Some examples of valid inputs are listed below:

"1"
"5 + 8"
"(5x + 3)(4x + 2)"
"4x - 9x + 15"
"24x / 6"
"5x^2 + 14x - 3"  // Use ^ for exponentiation
"(20x^2)'"        // Use ()' for derivation


Output

Output is a string containing the plaintext version of the expression after simplification.

The only acceptable operators left over are +,  -, /, and ^.  Multiples of variables should be indicated as 2x, -5x, etc.  Fractions should be reduced as far as possible, and parentheses and derivations must be completely eliminated, with the exception of cases such as ln(x) which syntactically cannot be made to make sense without them.

The input examples from above should output as follows:

"1"                =&gt; "1"
"5 + 8"            =&gt; "13"
"(5x + 3)(4x + 2)" =&gt; "20x^2 + 22x + 6"
"4x - 9x + 15"     =&gt; "-5x + 15"
"24x / 6"          =&gt; "4x"
"5x^2 + 14x - 3"   =&gt; "5x^2 + 14x - 3"
"(20x^2)'"         =&gt; "40x"


Last but not least, if a derivation function exists in your language, you may not use it.  Derivations must be done as manually as possible.  Whitespace around the basic four operators and lack of whitespace around ^ and within () is preferred.
Mathematica, 159 Bytes
ToString@Expand@ToExpression[StringReplace[#,&quot;(&quot;~~a__~~&quot;)'&quot;-&gt;&quot;d[&quot;~~ a ~~&quot;]&quot;]&lt;&gt;&quot;//.{d[a_ x^n-&gt;a n x^(n-1),d[x]-&gt;1,d[a__]/;a~FreeQ~x-&gt;0,d[a__+b__]-&gt;d[a]+d[b]}&quot;]&amp;

NOTE: While this works on all the examples it won't currently work on all sensible differentiable input because it doesn't balance brackets when looking for derivatives. I'll change this once I've had the time to think of a sufficiently concise way of doing it. I'm sure there's some other stuff that goes wrong too, so please let me know if you spot something! There are a few bytes that are easily golfed off too, I'll get to those..