Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The Gudermannian function is built into Mathematica, but does not reduce to simpler terms in some simple cases. In particular, the Gudermannian is an odd function of real arguments but Mathematica does not seem to know or use this. For example:

FullSimplify[Gudermannian[2x] + Gudermannian[-2x],Assumptions->{x>0}]
Gudermannian[-2 x] + Gudermannian[2 x]

Am I missing some subtlety that invalidates simplifying to 0 or is Mathematica missing something?

share|improve this question
up vote 4 down vote accepted

Mathematica is having hard time knowing that ArcTan[E^(-2 x)] + ArcTan[E^(2 x) == Pi/2 and I could not figure how to tell so other than by brute force telling it so in the Assuming.

Once it knew this relation, then the simplification of the FunctionExpand applied to your input, gives zero as expected.

inp = Gudermannian[2 x] + Gudermannian[-2 x];
Assuming[(ArcTan[E^(-2 x)] == Pi/2 - ArcTan[E^(2 x)]),Simplify@FunctionExpand@inp]

Mathematica graphics

From help, it says Use FunctionExpand to expand Gudermannian in terms of elementary functions and that is how the above relation came out. So, without using FunctionExpand it is even harder. So, I would say use `FunctionExpand on Gudermannian since then there is more chance of doing more simplification on it when it is in that form (i.e. using elementary functions)

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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