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

learn more… | top users | synonyms (3)

0
votes
2answers
118 views

Simplifying an expression containing radicals

Now I'm trying to use Mathematica to simplify an expression like this: $P \sqrt{-P + \sqrt{M^2 + P^2}} + \sqrt{(M^2 + P^2) (-P + \sqrt{M^2 + P^2})} - M \sqrt{P + \sqrt{M^2 + P^2}}$ where ...
0
votes
3answers
113 views

Why is 1. x (Times[1.`, x]) not simplified to x?

This is maybe a silly question, but I could not think of any logical reason why it is not simplified automatically. I was working with a big linear equation system with some constrained inequalities ...
0
votes
1answer
59 views

Inequality test returned unevaluated

I tried, Refine[Sin[k]^2/(k^2 + k + 1) < 1/(k^2), Element[k, Integers]] $\frac{\text{Sin}[k]^2}{1+k+k^2}<\frac{1}{k^2}$ It returns unevaluated. I ...
1
vote
1answer
113 views

Simplify results further

I have an extremely long result in polynomial form following some matrix operations. However, given the symmetry of the problem, I can safely say that the solution will reduce much further than is ...
0
votes
1answer
63 views

How to evaluate Floor[1/2 + Arg[z]/(2π)] with Re[z] > 0

I want to do a series expansion of an expression containing Gamma functions with specific arguments. An example is the following: ...
0
votes
0answers
47 views

Symbolic manipulation of the moments of an unknown distribution

I'm curious as to whether it's possible to get Mathematica to simplify/manipulate/expand basic expectations, conditional expectations, sums of random variables, etc. A simple example might be: ...
1
vote
1answer
91 views

How to obtain a useful answer from integration when Simplify is insufficient?

I have been trying to integrate a function AND get an output that is sufficiently simple as to be usable. Simply using the Simplify and ...
2
votes
2answers
133 views

Is it possible to simplify a trigonometric expression only in terms of $\cos (u)$ OR $\sin (u)$?

I want to expand the following expression into powers of $\cos(u)$ only: a1 + a2 Cos[2 u] + a3 Cos[4 u] + a4 Cos[6 u] The answer that I want (and which I found ...
2
votes
2answers
284 views

Rewriting one expression using a variable representing another expression [duplicate]

I have two expressions: w1 = (a+b)/c^2; w2 = (a^3 + 3 a^2 b + 3 a b^2 + b^3)/c^6; How can I ask Mathematica to try to find an alternative expression for ...
1
vote
1answer
432 views

Simplify square roots

If I simplify an equation like Sqrt[A^5]+5*Sqrt[A^3]-Sqrt[A] then I get (A^2+5A-1)*Sqrt[A] with no problems. But when I need to simplify Sqrt[(A^5) (1 + a) ] + 5 Sqrt[A^3 (1 + a)] - Sqrt[A (1 + a)] as ...
2
votes
2answers
119 views

Why Doesn't Mathematica Simplify Combinations of Quotients? (Integer Division)

I stumbled across this as part of a more complicated formula but it can be shown very simply: ...
0
votes
0answers
61 views

Inconsistent behavior of Assuming[] in combination with Simplify[]

The following integral gives the correct result ...
0
votes
3answers
86 views

Place symbols from small to big

I am wondering how to compare the different values of ω I derived in this code, and place them in order as follows. (use Print ...
3
votes
1answer
182 views

Strange behavior of Reduce with a cubic equation

This equation: $(\frac{-a}{x})^2=\sqrt{\frac{1}{x}}$ at $a > 0$ and $x > 0$ has a clear solution $x=a^{4/3}$, doesn't it? However, ...
5
votes
2answers
132 views

FullSimplify inconsistent

I'm having problems using FullSimplify to simplify a differential equation. The expression is simplifying just as I would like when I express a variable ...
1
vote
1answer
65 views

Simplification of linear algebra [duplicate]

I have a few vectors defined as V1 = Array[v1,3] V2 = Array[v2,3] V3 = Array[v3,3] And I am trying to solve a very simple equation along the lines of ...
1
vote
1answer
108 views

How to simplify an expression into the sum of small fractions

I'm trying to simplify the following expression $$\frac{n.r \ p.q - (n.p + n.q) (p.r + q.r)}{(n.p + n.q)\ p.q}\to \frac{n.r}{n.p+p.q}-\frac{p.r+q.r}{p.q}$$ When I put it into Mathematica and use ...
1
vote
3answers
86 views

FullSimplify assumptions for function body

I'd like to pass an assumption to FullSimplify so whenever it gets a function that is squared and square rooted would return me only the function body, without ...
1
vote
1answer
87 views

Working with means and variances

My goal is to work out on the following equation: $$Mean(P)(1-Mean (P))\left (h + (1 - 2 h) (1 - \frac {Var (P)} {Mean (P) (1 - Mean (P))}) (1 - Mean (P)) + \frac {Var (P)} {Mean (P) (1 - Mean ...
0
votes
1answer
146 views

Factor vector out of a matrix

I am wondering how to factor a[1],a[2],...,a[4] out of sim so that I can write sim as the ...
2
votes
1answer
107 views

Taylor expansion of function of vectors—simplifying the output

I've got a real-valued function of several vectors $f(u,v,w)$ formed by taking scalar products of linear combinations of the vectors, I want to Taylor expand around small $v$ by writing $$f(u,\delta ...
3
votes
1answer
115 views

Do not understand expression returned by FullSimplify

Why Mathematica returns (sec x)^2? (Tan[x]^2 + 1 - Sec[x]^2)/(Sin[x]^2 + Cos[x]^2 - 1) // FullSimplify Sec[x]^2 Because ...
1
vote
0answers
39 views

Finding simpler implied formulas while preserving contradiction

I have two Presburger formulas A and B such that A∧B≡False. From these I need to find "simpler" formula A′ (as simple as I can make it) such that A→A′ and A′∧B≡False. Is there any simple way to ...
0
votes
0answers
45 views

Can you tell (Full)Simplify to introduce a case distinction?

I got this term¹ as a partial result $\qquad\displaystyle T = -1 + (-1)^{\frac{1}{3} \cdot (1 - 2 n)} - (-1)^{\frac{2}{3} - \frac{4 n}{3}}$ which Mathematica refuses to (full)simplify further, even ...
7
votes
3answers
253 views

Simplify with Assumptions Sqrt[(expr)^2]

While trying to simplify expressions in the form Sqrt[(expr)^2] when expr>0 I noticed a peculiar behavior that was not ...
1
vote
1answer
135 views

How to choose a solution of a differential equation?

I am trying to solve the following differential equation: ...
1
vote
1answer
129 views

Simplifying fractions

What ComplexityFunction (or other technique) can I use to have Mathematica pull things out of fractions? I have a rational function of several variables and I'd ...
0
votes
1answer
191 views

How to simplify power series in terms of functions

For example, after some computations mathematica outputs $$ \sum_{k=0}^{\infty} \frac{k g_k z^{k+4}}{(1-z)^3} $$ and we assume that $$G(z)= \sum_{k=0}^{\infty} g_k z^k $$ so the question is: how ...
1
vote
0answers
58 views

Simplifying expression on power [closed]

I want to understand the behavior of Mathematica for the following code. ...
0
votes
1answer
57 views

TeXForm without simplification

I'd like to be able to feed an expression into Mathematica, and have Mathematica convert that expression to TeXForm WITHOUT ANY SIMPLIFICATION WHATSOEVER. As a trivial example, currently, if I enter ...
2
votes
1answer
208 views

Truncate High order terms

Suppose I want to compute this : Series[Sin[1/f], {f, Infinity, 10}] but finally I prefer Sin[1/f] up to the fourth order in ...
0
votes
1answer
53 views

Substituting a function in the output

I have to calculate the derivatives of the function K defined in the code: ...
9
votes
3answers
652 views

Simplifying trig expressions containing Sqrt or Abs

The following Maple code can simplify abs(sin(x)) into -sin(x) given the condition ...
4
votes
0answers
107 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 ...
3
votes
2answers
144 views

Mathematica not recognising closed forms as specific values

I have a Mathematica program that outputs a piecewise function, and some parts of the expression are not being recognised as specific numbers when using ...
1
vote
1answer
248 views

Get Cos[2 x] in “Solve”

My goal is to get an analytical solution of x ( $\lambda$ in the problem), when $\epsilon$ (f[x] in the problem) is maximum (use inverse form). I found that if I can use trigonometric identity ...
1
vote
1answer
66 views

Solve never terminates with simultaneous equation set

I have the following set of simultaneous equations that I want to solve symbolically. The two unknowns are $a$ and $d$. $a=\frac{c*(d/10)}{1 + (f/130) + (d/50)} - \frac{a}{1 + (a/100) + (d/100) + ...
0
votes
0answers
51 views

Always the same problem with Conjugate [duplicate]

I want to compute something like : ...
2
votes
4answers
125 views

Cancelling units in two-argument ArcTan

Consider ArcTan[3, -3] (* out: *) -Pi/4 ArcTan[3 a Sin[t/2], -3 a Sin[t/2]] (* out: *) ArcTan[3 a Sin[t/2], -3 a Sin[t/2]] However, we can fix the ...
4
votes
3answers
332 views

Problems using hand-made transformation functions

I experience difficulties when using custom transformation rules. Below I give two concrete problems. I am interested in fixing each of them and in understanding what is wrong with my attitude to the ...
0
votes
0answers
30 views

Is it possible to obtain vector differentiation results in terms of vectors rather than components? [duplicate]

When doing certain operations on vectors in Mathematica it is quite desirable to convert the results back into coordinate-free notation. Unfortunately, after going through the Documentation Center and ...
0
votes
1answer
65 views

How to simplify or improve my code (or how to Flatten inside the matrix)?

I believe that it may be simplified, but I have no ideas anymore.. I need to flatten inside each element of array. F.ex. {{1}, 128552, 6, 1} ---> {1, 128552, 6, 1} Input data (Z - requests, t - ...
0
votes
1answer
114 views

Impose an specific Trigonometric expansion with TrigExpand

Is there a way to impose in mathematica an specific trigonometric expansion with TrigExpand? I have various double-angle expressions for cosine and sine in my ...
0
votes
0answers
72 views

How to make Mathematica Simplify?

Let us define r1 = 1;r2 = 2; and ...
1
vote
2answers
188 views

How can I separate two parts of power of Exponential functions?

How can I separate two parts of power of exponential functions in Mathematica? I have an expression similar to this one: a*b*Exp[u+v]+c*Exp[u] I want to set ...
3
votes
2answers
665 views

Mathematica won't simplify the expression with obvious common factor of a fraction

I have an expression obtain from an integral, which is: Integrate[ϵ^2/Sqrt[(ϵ - u)^2 + Δ^2], ϵ] // FullSimplify The denominator and numerator of the result have ...
1
vote
1answer
151 views

Factor a Vector

Does there exist a function in Mathematica that simply takes out a common factor from a vector/list of expressions? This seems like such a simple operation that I am surprised that I could not find it ...
0
votes
1answer
86 views

Decompose Expression into Segments

Say I have an expression test = 3 x1^2 - 2 x3^-3 and I would like to decompose the expression into {3 x1^2, -(2/x3^3)}, I can do ...
0
votes
1answer
68 views

Log does not reduce expressions [closed]

When solving an analytical expression, I need to take the Log of something. However, Mathematica seems unable to reduce a simple Log of an exponential: ...
-7
votes
1answer
131 views

Simplify looks ugly [closed]

I use Simplify mostly to make expressions look neat. However, Mathematica often does not produce expression in, what I consider, the optimal way. Look at this: ...