I don't get an error with Reduce
. For example, to find the local extrema of xE
I tried
Reduce[xE'[t] == 0, t]
which returned
C[1] \[Element] Integers && (t == 2 \[Pi] C[1] ||
t == 2 I ArcTanh[2/Sqrt[3]] + 2 \[Pi] C[1])
Note that this gives you both real and complex solutions. If you only want the real ones you can try
Reduce[xE'[t] == 0, t, Reals]
which gives
C[1] \[Element] Integers && t == 2 \[Pi] C[1]
Edit
To substitute the solutions back into the original expression you could convert it to a list of rules using for example ToRules
. Since ToRules
can't handle expressions like C[1] \[Element] Integers
we simplify the solution first
sol = Reduce[xE'[t] == 0, t];
sol = Simplify[sol, C[_] \[Element] Integers]
(* ==> t == 2 \[Pi] C[1] || t == 2 I ArcTanh[2/Sqrt[3]] + 2 \[Pi] C[1] *)
ToRules
will then convert this expression to a list of rules which you can substitute back into your expression using ReplaceAll
xE[t] /. {ToRules[sol]}
(* ==> {-Sqrt[1600 - 100 (1 - Cos[2 \[Pi] C[1]])^2] +
10 (2 \[Pi] C[1] - Sin[2 \[Pi] C[1]]),
-Sqrt[1600 - 100 (1 - Cosh[2 ArcTanh[2/Sqrt[3]] - 2 I \[Pi] C[1]])^2] +
10 (2 I ArcTanh[2/Sqrt[3]] + 2 \[Pi] C[1] -
I Sinh[2 ArcTanh[2/Sqrt[3]] - 2 I \[Pi] C[1]])} *)
Note that the resulting expression still contains the constant C[1]
. To find the extrema for a particular value of C[1]
you can use another replacement rule, e.g.
({t, xE[t]} /. {ToRules[sol]}) /. {C[1] -> -4}