8 votes
Accepted

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

FunctionExpand + FullSimplify seems to work: ...
user avatar
  • 19.4k
7 votes

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 *) ...
user avatar
  • 109k
7 votes
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 ^{-...
user avatar
  • 16.2k
6 votes

Simplify Log monotonicity

In addition to: Resolve[ForAll[n, n >= 1, Log[n + 1] > Log[n]]] You can try: ...
user avatar
  • 16.2k
5 votes
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 ...
user avatar
  • 216k
5 votes

The solution for Sinh[] and Cosh[]

Let k -> -kk ...
user avatar
  • 15.7k
4 votes

The solution for Sinh[] and Cosh[]

If we multiply the arbitrary constant C[1] by I, FullSimplify can do the job if passed the ...
user avatar
3 votes
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 ...
user avatar
3 votes

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*)
user avatar
3 votes
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 ...
3 votes

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 ...
user avatar
  • 216k
3 votes

Simplify Log monotonicity

Okay, thank you all for your input. I think the simplest approach for obtaining True is: ...
user avatar
2 votes
Accepted

Unable to simplify exponential expression to its simplest form of trigonometric expression by Euler's formula

...
user avatar
  • 16.2k
2 votes

Simplify of `Mod` in compound logical expression

Reduce does this job better. ...
user avatar
  • 15.7k
1 vote
Accepted

Can't simplify expression with square roots of square roots

As @Syed points out: FullSimplify[PowerExpand[YOUR EXPRESSION], your conditions] $\left(\sqrt{-4 \gamma _P^2+4 \gamma _Q+1}+4 \gamma _Q+1\right) \sqrt{\sqrt{-4 \...

Only top scored, non community-wiki answers of a minimum length are eligible