Mul Mul x0 Pow tanh Pow asech E -2 cos cosh x0 x3 
Mul x3 Add Pow tanh Pow asech E -2 cos cosh x0 Mul x0 Mul Pow tanh Pow asech E -2 Add cos cosh x0 -1 Mul Mul tanh Pow asech E -2 log tanh Pow asech E -2 Mul Mul -1 sin cosh x0 sinh x0 