Questions tagged [simplifying-expressions]

Questions on manipulating complicated expressions and making them look simpler using Simplify, FullSimplify and Reduce.

227 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
208 views

Bug? Numerical calculation error with FullSimplify and arbitrary precision

Bug introduced after 5.2, fixed in 8.0, reintroduced in 9.0 and persisting through 11.2 Is this a bug? If I do FullSimplify[n E^(010 n)] then it returns <...
361 views

Simplify and Sqrt, inconsistent behavior?

I have encountered some problems when using Simplify with expressions containing a square root and isolated a following test case ...
552 views

Faster simplification of linear combinations of some specific functions

After some profiling I've found that my program spends most of its time in the simplification step. The program uses my simplification function many times (over different data). My calculation is not ...
212 views

What is a “generic case”?

Introduction With this question I am coming back to a long-standing issue I have with Mma's concept of a "generically correct" result. The basic idea seems to be, vaguely, that if a result is true in ...
105 views

Need explanation on strange behavior of Simplify under given assumption

This is quite surprising to me. Simplify[a == b, {a == {1}, b == {1}}] a == b does not evaluate the equality, while ...
62 views

Unexpected behaviour of Simplify

I'm evaluating an expression and to me the result should be True but Mathematica is giving me a different result. ...
317 views

How to get mathematica to simplify a result

I have the following output $\text{Li}_2\left(3-2 \sqrt{2}\right)-4 \text{Li}_2\left(-1+\sqrt{2}\right)$. This turns out to be equivalent to $\displaystyle\log^2(1+\sqrt{2})-\frac{\pi^2}{4}$. How ...
121 views

77 views

Derive logistic choice probabilities symbolically

More generally, I am interested in learning what the current limitations of Mathematica are when using it for doing pure mathematics. A recent blog post by Stephen Wolfram (see: http://blog....
118 views

Simplifying expressions involving Divisible

FullSimplify[ Divisible[p^2 - 1, 24] , Element[p, Primes] && p > 3] Should evaluate to True, but I get ...
34 views

How to speed up xTensor simplification?

I need to compute a variation of the 4th rang symmetric tensor. I've written a code that successfully computes it, but when I use the resulting tensor to compute the second variation the ...
30 views

Kernel crash when simplifying piecewise function

So the kernel appears to just die whenever you try to simplify a piecewise function containing "Nothing". For example: this appears to kill the kernel \text{Simplify@}\begin{array}{cc} \Bigl[\...
36 views

Trouble with simplifying trigonometric / hyper-trigonometric functions

Why (correct) expressions like Assuming[p > 0, 2 ArcTan[Sinh[p]] == Pi - 2 ArcTan[Csch[p]] // FullSimplify] Are not correctly evaluated to: True? What is the ...
106 views

how to force simplification of power inequalities

These two simple expressions fail to simplify (Mma 11.1): ...
104 views

Simplifying Redundant Piecewise Cases

I would like to perform a summation from $1$ to $M$ of a simple piecewise function. For example, ...
367 views

How to simplify exponentials into hyperbolic functions

I have a function of real exponentials and I'd like to simplify it using hyperbolic functions. How can I tell mathematica to use $e^x +e^{-x}=2\cosh(x)$ when simplifying? (and obviusly the $\sinh$ ...
102 views

PiecewiseExpand fails with min of two piecewise functions

I have two Piecewise functions that are (in this case) just the empirical CDFs of two sets of data: ...
41 views

Evaluating inequality involving powers

I want to evaluate an inequality of the form $x^a > x$ under the assumptions $x > 1$ and $a > 1$. I expect this inequality to be true, but ...
112 views

What is are the symbolic simplification rules and when do they apply?

I know that the rules Simplify are obscure but maybe someone has an idea: if I evaluate Simplify[f[g[x]], {Equal[f[g[x]], 3]}],...
101 views

FunctionExpand does not yield known simplification

Consider: Cosh[a ArcSinh[z]] // FunctionExpand Cosh[a ArcSinh[z]] Which seems to suggest that there is no simplification ...
80 views

Error when simplifying a series expression

I have the following function which I call FF[q_,y_,u_] and this function is well known to have a reasonable Taylor expansion in all three variables. For example, ...
179 views

FullSimplify, TransformationFunctions, Assumptions

How can I make Mathematica consider Assumptions in FullSimplify also when applying custom Transformation Functions? It works with the Automatic Transformation Functions: ...
251 views

Find RSolve solution reflecting special structure of DifferenceRoot[Function[{\[FormalY], \[FormalN]}

RSolve yields a large (multi-page) solution (LeafCount=25891) containing a number of 7F6 (and higher) hypergeometric functions when applied to ...
240 views

Bringing rational functions to canonical form

I have a complicated expression, which among other things has stuff like functions of rational functions: expr = f[x/(-x^2 + y)] + f[-(x/(x^2 - y))] (* + ...*) ...
41 views

commutative matching

I've been doing some work that results in the creation of hundreds or thousands of equations with the same answer. To prevent them from collapsing to their simple answers, each has been passed through ...
158 views

simplify expressions into sum function

Is there a way to have Mathematica simplify long expressions involving sums of variables into expressions using a sum function? Suppose I have something like this: ...
415 views

How to prevent simplification of hypergeometric functions resulting from integrations?

Definite integrals from 0 to Infinity over a product of two hypergeometric (including exponential, trigonometric, hyperbolic, ...
50 views

How to remove the Riemann tensor derivatives using Bianchi identity?

For the third-order Lovelock gravity, after varying the Lagrangian versus the metric, I found some derivatives of the Riemann tensor which should not be appeared. How can I remove them? Maybe using ...
75 views

Expression manipulation

How can one write $\frac{ad+bc}{bd}$ in $\frac{a}{b}+\frac{c}{d}$ form? In other words, is there something opposite of Together[]? Edit My intend was to write <...
58 views

Computing Definite Sums of Rational Functions

I am attempting to compute a rather complicated sum, $S_n$, that in the end satisfies the relation $(S_n + T_n) = (\frac{(n+1)^2 - 1}{n+1})m^3 + O(m^2)$. I should note that $T_n$ is also unknown. ...
35 views

How to Simplify/Factorise symbolic non-commutative expressions?

It always strikes me as odd, that Mathematica seems to have a hard time with non-communative multiplications. I can use the horrible TensorExpand (or more performant Distribute) to get ...
120 views

Substitution of expressions using Groebner basis

I know this topic came up numerous times (most of the results are detailed in the comments of this link Is there a way to to substitute for symbols, simplify, and back-substitute?). However, I have ...
118 views

Renaming one parameter changes the result of Simplify

Surely the following couple of expressions should both output True: ...
58 views

Simplifying long expressions leads to memory allocation failure

I am currently trying to manipulate a number of expressions into a particular form that will allow me to determine their poles and zeros: ...
52 views

How to automatically transform Abs[Cos[x]]Sec[x] to Sign[Cos[x]]?

Out of some simplification, the term Abs[Cos[x]]Sec[x] appears. How can I make the code automatically transform ...