2
$\begingroup$

I have this expression

2 Csc[2 y[x2]] Sech[x[x2]]^2 (Cos[y[x2]]^4 Cosh[x[x2]]^8 Sin[y[x2]]^4)^(1/4)

which is 1. But Mathematica doesn't do the simplification. I know that Mathematica doesn't simplify square roots very well. What would be the conditions I must give?

$\endgroup$
4
  • 3
    $\begingroup$ Maybe TrigExpand@PowerExpand[expr] $\endgroup$
    – user1066
    Mar 1, 2018 at 18:22
  • 1
    $\begingroup$ or TrigReduce@PowerExpand[expr]. $\endgroup$
    – anderstood
    Mar 1, 2018 at 18:37
  • 3
    $\begingroup$ Your assumption is not correct. For example, the expression is -1 for {y[x2]->-π/4, x[x2]->0}. $\endgroup$
    – Carl Woll
    Mar 1, 2018 at 18:40
  • 1
    $\begingroup$ The problem is that it is not 1. Sometimes it is -1. This can be easily checked by plotting it. $\endgroup$ May 31, 2018 at 8:10

3 Answers 3

2
$\begingroup$

The following works.

FullSimplify[2 Csc[2 y[x2]] Sech[x[x2]]^2 (Cos[y[x2]]^4 Cosh[x[x2]]^8 Sin[y[x2]]^4)^(1/4), 
Assumptions -> y[x2] \[Element] Reals && x[x2] \[Element] Reals]
1/Sign[Cos[y[x2]] Sin[y[x2]]]
$\endgroup$
0
$\begingroup$

This gives 1.

Define the expression.

expr = 2 Csc[
   2 y[x2]] Sech[
    x[x2]]^2 (Cos[y[x2]]^4 Cosh[x[x2]]^8 Sin[y[x2]]^4)^(1/4)

And then

expr // Factor // TrigExpand // PowerExpand
$\endgroup$
0
$\begingroup$
FullSimplify[2 Csc[2 y[x2]] Sech[x[x2]]^2 (Cos[y[x2]]^4 Cosh[x[x2]]^8 Sin[y[x2]]^4)^(1/4),
  Element[_,Reals]]
PiecewiseExpand[%,Reals]
1/Sign[Cos[y[x2]] Sin[y[x2]]]

Piecewise[{{-1, Cos[y[x2]]*Sin[y[x2]] < 0}, {1, Cos[y[x2]]*Sin[y[x2]] > 0}}, ComplexInfinity]
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.