# Tag Info

Accepted

### convert n*Arctan[x] to ArcTan[x]

FunctionExpand + FullSimplify seems to work: ...
• 19.4k

### Simplify a simply fraction

Until someone finds better solution, you can always use this workaround ClearAll[x,y,r,A] Simplify[(x^2 + y^2)/r^2, {x^2 + y^2 == A}] /. A -> r^2 (* 1 *) ...
• 109k
Accepted

### How can I simplify the output after integration which is obtained in terms of hypergeometric function in Mathematica?

Use exact rational powers. r1 = ((x^2) + (R - y)^2)^(1/2); r2 = ((x^2) + (R + y)^2)^(1/2); P = ((R - y) x^2/r1^4); U = Integrate[P, x] (R-y) \left(\frac{\tan ^{-...
• 16.2k

### Simplify Log monotonicity

In addition to: Resolve[ForAll[n, n >= 1, Log[n + 1] > Log[n]]] You can try: ...
• 16.2k
Accepted

### simplifying DSolve output. Exponentials raised to constant

I wasn't able quickly to find an example in which the generalization of the sort of simplification the OP wants is problematic. I recall an instance in which the constant parameters appeared in one ...
• 216k

Let k -> -kk ...
• 15.7k

### The solution for Sinh[] and Cosh[]

If we multiply the arbitrary constant C[1] by I, FullSimplify can do the job if passed the ...
• 33k
Accepted

### FullSimplify not yielding True for Log[a/b] == Log[a] - Log[b]?

One can use a standard Mma approach of working with logarithms. It is PowerExpand. PowerExpand treats its expressions assuming all variables are positive. Normally ...
• 35.1k

### Simplify a simply fraction

Using Reduceand Nasser's suggestion: Part[#, 2]&@First@Sort[Reduce[{(x^2 + y^2)/r^2 == A, x^2 + y^2 == r^2}]] (*1*)
• 4,333
Accepted

### Formal variables no longer simplifying well on new Mathematica version?

These changes go back a few versions and came about in an effort to get series correct in punctured neighborhoods of branch points. A way around it is to provide ...

### Simplify Log monotonicity

As @Nasser mentioned in a comment, simplification in Mathematica tries to minimize the "complexity" of an expression, which is predominantly measured by ...
• 216k

### Simplify Log monotonicity

Okay, thank you all for your input. I think the simplest approach for obtaining True is: ...
• 1,049
Accepted

...
• 16.2k