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

learn more… | top users | synonyms (3)

7
votes
4answers
318 views

Counting multiplications (complexity function)

I'm trying to count the number of times multiplication appears in an expression (for the purpose of constructing a ComplexityFunction that would help me simplify a terrible algebraic expression for ...
9
votes
0answers
190 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 ...
2
votes
2answers
168 views

Pulling out common terms when simplifying complicated equations

I have a complicated expression where common terms are apparent but Simplify[] and FullSimplify[] don't appear able, even with plenty of assumptions added, to reduce down to a simpler form with common ...
3
votes
1answer
129 views

Simplify doesn't simplify HypergeometricPFQ with exact arguments

Consider a series: $$\sum_{t=0}^\infty \frac{8^{-11-2t}(22+4t)!}{t!(11+t)!(11+2t)!(32+t)}$$ ...
3
votes
1answer
100 views

Check that a relational expression is true for all complex numbers

How can I use Mathematica to check if a statement like $$\left| \frac{\sqrt{1+2z}-2}{2z-3} \right| \le 1$$ is true for all complex numbers $z$? Also, how can I use Mathematica to check such a ...
7
votes
4answers
280 views

How to make Mathematica simplify $\cos[(i + j + k)\pi]$ to $(-1)^{i+j+k}$?

We know that: $$ \cos\left[(i+j+k)\pi\right] = (-1)^{i+j+k} $$ for $i, j, k$ being positive integers. In Mathematica I've tried: ...
2
votes
1answer
140 views

Why FullSimplify doesn't work here?

Since the emphasis of this question is on finding a workaround, I decided to post this question with an emphasis on the explanation of the behavior of Mathematica. The Bessel function satisfies the ...
5
votes
1answer
65 views

How to bail out from a non-applicable transformation function?

I provide a custom function in TransformationFunctions options of FullSimplify that can do a transformation only for some values ...
8
votes
1answer
383 views

how to simplify large expression with lots of special functions in it (BesselY, Hypergeometric, MeijerG etc…)

I saw this DE in Maple forum. When solving it using Mathematica 9.01, even though the result was correct (both solutions gave the same numerical answer for some random values), Mathematica's answer ...
1
vote
2answers
191 views

How to simplify an expression with square roots?

The expression $\sqrt{L^2 M+\sqrt{L^2 (-J^2 + L^2 M^2)}}/\sqrt{2}$,can be simplified into $\sqrt{L}(\sqrt{LM + J}+\sqrt{LM - J})/2$, but how can I obtain this result with Mathematica? That is, how ...
2
votes
2answers
193 views

Calculate information entropy integral in infinite square well problem

In the context of information theory, entropy is a measure of uncertainty of a random variable. In quantum mechanics, the uncertainty principle states that $\Delta x\Delta k \ge 1/2$. The same can be ...
6
votes
1answer
709 views

Simplify $\cos(n \pi)$ and $\sin(n \pi)$ when n is an integer

I was trying to calculate this integral in Mathematica 9: 2/π Integrate[ Cosh[a x] Cos[n x], {x, 0, π}, Assumptions -> n ∈ Integers] I got as a result : ...
2
votes
2answers
137 views

FullSimplify used with Assuming giving unexpected results

Can someone shed some light on why Assuming[{x ∈ Reals}, x (Sign[x]^2 - 1)] // FullSimplify returns x (-1 + Sign[x]^2) ...
3
votes
2answers
102 views

Assumptions within Simplify

I am using the ratio between two error probabilities in various functions. I want Mathematica to display this ratio in the most simple manner. How do I let Mathematica know that, in this case, the ...
0
votes
0answers
52 views

Reducing a long complex expression to a simplier one by using assumptions

so I have an ugly looking equation that I wish to solve under some specific circumstances. Using DSolve I write; ...
7
votes
4answers
2k views

Checking if two trigonometric expressions are equal

Say I have two trigonometric expressions which are a bit complicated. Is there a quick way to check if they reduce to the same thing (that they are equal) using Mathematica? I was solving this: $y'' ...
4
votes
2answers
140 views

Simplifying If statements

How can I get Mathematica to simplify the true and false clauses for If[] statements? For example: bar[a_] := a FullSimplify[If[a > b, bar[a], bar[b]]] ...
5
votes
1answer
298 views

How to express an expression with only ArcTan and ArcTanh?

I have an expression which is simply (j/k) x^(j/k) LerchPhi[x,1,j/k)] where 0 < j < k. Manually I have been able ...
4
votes
2answers
151 views

HornerForm of polynomials in terms of E^(i x)

I want to know how to get the HornerForm of the following expression in terms of E^(I x): ...
7
votes
1answer
220 views

Limit for Matrix expression

Let's assume that $Q_0$ is $3\times 3$ matrix with $\det Q_0\neq0 $ and $$ Q_{i+1} = \frac{1}{2}\left[ Q_i+(Q_i^{-1})^T \right] $$ I need to find next limit: $\lim _{i \to +\infty}$$Q_i$. In other ...
1
vote
0answers
79 views

Introducing new variables implicitly [duplicate]

I have a calculation expr111 = cs[giso, xiso, 1, 1, 1] that gives the result -((k x)/(2 (1 + 1/4 k (x^2 + y^2 + z^2)))) ...
0
votes
0answers
31 views

Find repeated groups in a long algebraic expression [duplicate]

I have an algebraic output (a solution to a de) similar to, but far longer than: {y->(x+3)^2/sin(7*(x+3))+(x+3)^3/7} I'd like to get Mathematica to notice that the group x+3 appears repeatedly, ...
7
votes
3answers
212 views

Why does Mathematica not seem to know that $i^x$ cannot be equal to $0$?

I am experiencing a curious behaviour of Simplify when handling expressions involving powers of $\mathbf{i}$, such as $\mathbf{i}^x$ where $x$ is unknown. For ...
1
vote
1answer
148 views

Mathematica won't simplify multiplication by zero

I'm getting a huge output, but it appears that almost every term should actually be zero, unless I'm misunderstanding the expression. For example, part of the output reads ...
2
votes
1answer
108 views

Evaluating Abs'[2 x] gives different results than evaluating D[Abs[2 x], x]

I noticed the following difference Assuming[x ∈ Reals, FullSimplify[D[Abs[2 x], x]]] (* 2 Sign[x] *) Assuming[x ∈ Reals, FullSimplify[Abs'[2 x]]] (* Sign[x] *) ...
0
votes
1answer
202 views

Convert expression to C-form and simplifying

I have an expression which is the sum of many terms of the form $$ \frac{0.00000000274341}{(0.000363856+(0.611425+z)^2)^{3/2}} $$ My problem is that I need to include this long expression in a ...
1
vote
1answer
120 views

Assumptions in mathematica when Symplify on Log[Exp[a/b]]

In mathematica 9.0: This: Assuming[b > 0 || b < 0, Simplify[Log[Exp[a/b]]]] yields: a/b However, this: ...
0
votes
1answer
154 views

Simplify expression after substitution

I tried to substitue variable x of one equation with another variable z (z=nx/(nx+m)). See as follow: ...
3
votes
1answer
156 views

FullSimplify yielding different results in mathematica 8 and 9

I have been experiencing some problems running a certain mathematica file in version 9. I've tracked the problem to a particular sum that I perform. Running the same code in version 8 and 9 I get two ...
7
votes
2answers
2k views

Fourier Transform of a Step Function

I'm trying to obtain the form of a sinc function that I know I'm supposed to get in Mathematica. I'm doing this because I intend to do a lot with Fourier transforms (FT) and I'd like to know I'm not ...
0
votes
1answer
163 views

Why does Mathematica find a form for this general sum, but not for some special cases?

Today I found a Sum which Mathematica will simplify for a general parameter value $\nu$, but which will not simplify fully for special cases $\nu = 1, 3, ...$ despite the fact that the general answer ...
2
votes
2answers
141 views

Transform Piecewise[] into sum of indicators

I'm interested in transforming a piecewise defined function into a sum of indicator functions, ultimately with the aim to be better able to integrate them. As an example I would like to transform the ...
12
votes
1answer
271 views

How to enlarge $\it{Mathematica}$'s knowledge about certain functions?

I'm often troubled with the following task. I need to carry out symbolical computations involving certain special functions. Let me take as an example Barnes gamma-function. It is included in ...
6
votes
1answer
203 views

Forcing Mathematica to use certain simplification rule

I'm trying to force Mathematica to use following transformation function ...
1
vote
1answer
187 views

Simplifying with noncommutative multiplication

I am trying to do some quantum algebra computations in Mathematica. Up to now I was able to make the noncommutative multiplication linear and to factorize powers. However, I still have some issues ...
7
votes
2answers
266 views

How to automatically get rid of trig functions in an expression?

I have a large expression containing many terms like this: Sin[1/2 ArcTan[(2 Log[5])/(Log[5]^2 - 2)]] where a trig function is invoked on a rational multiple ...
8
votes
3answers
2k views

Simplify expressions with Log

How can I get Mathematica to simplify the following expression n Log[a] + m Log[b] - m Log[a + b] - n Log[a + b] into ...
3
votes
2answers
237 views

Simplifying expressions involving Sum

I am trying to use Mathematica to simplify a symbolic expression involving Sum. Particularly, I define a sum via ...
2
votes
1answer
479 views

How to show factorial in expanded form with variables

When evaluating the following (Factorial[n + 1]/Factorial[(n + 1) - (k + 1)]) with Mathematica 9, the result is sent to output as ...
0
votes
0answers
101 views

How to simplify really complicated symbolic expression?

I have an expression that contains Sinh[x], Cosh[x] and Sin[g], and I want to simplify it ...
0
votes
1answer
221 views

Simplify vector expression - is there something like “Factor” for vectors, dot products etc.?

I am looking for a way to simplify dot products etc. Here is a minimal example: Lets say I have two vectors a and b: Array[a,2] Array[b,2] Now I evaluate their ...
4
votes
2answers
145 views

How to use SuperLog by loading SMLE.m

I am researching a software reliability model that has many parameters that need to be estimated. I want to use a maximum likelihood estimator (MLE) to estimate those parameters. After I searched ...
1
vote
0answers
60 views

How to take the log of an equation? [duplicate]

I am researching a software reliability model that has many parameters that need to be estimated. I want to use a maximum likelihood estimator (MLE) to estimate those parameters, but my model is too ...
1
vote
0answers
29 views

How to achieve the real component of my expression? [duplicate]

How to achieve the real component of my expression? Input: expr = Csc[θ/2] Sin[(n θ)/2] (Cos[1/2 (1 + n) θ] + I Sin[1/2 (1 + n) θ]); Re[expr] ...
1
vote
2answers
131 views

Show Simplified Directives [closed]

Is there a way to force Mathematica to convert an already rendered Graphic to the simplified Directive form of that Graphic. Background: I am currently editing Graphics using Drawing Tools and then ...
6
votes
3answers
127 views

How to simplify my expression to the style of “a+b*I”?

How to simplify my expression to the style of "a+b*I"? Expand[(E^(I θ) (-1 + E^(I n θ)))/(-1 + E^(I θ))] ...
6
votes
1answer
225 views

Simplifying a trigonometric sum

I want to caculate Cos[θ] + Cos[2 θ]+ ... + Cos[n θ] Sum[Cos[k θ], {k, 1, n}] ...
8
votes
2answers
165 views

How to reduce the number of operations needed to evaluate an expression? [duplicate]

For some numerical calculations in C++ I have, for example, this complicated expression to evaluate. Given as Mathematica input, in its original form it is ...
5
votes
2answers
217 views

How to find monotonically increasing intervals of a function

I tried this code, but not working Clear[f]; f[x_] := x^3 - 3 x + 2; ForAll[{x1, x2}, x1 < x2, f[x1] < f[x2]] Reduce[%, {x1, x2}, Reals] I expected the ...
4
votes
1answer
173 views

Can't simplify Abs[a*Cos[x]]^2

Why doesn't FullSimplify[ Abs[a*Cos[x]]^2, Assumptions -> {{a, x} ∈ Reals}] simplify to (a*Cos[x])^2 but this query ...