Add Pow x6 sech Pow x3 cosh x0 Pow tanh cosh x0 Mul x0 x0 
Add Mul Pow x6 Add sech Pow x3 cosh x0 -1 Mul Mul x6 log x6 Mul Mul tanh Pow x3 cosh x0 Mul -1 sech Pow x3 cosh x0 Mul Pow x3 Add cosh x0 -1 Mul Mul x3 log x3 sinh x0 Mul Pow tanh cosh x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow sech cosh x0 2 sinh x0 Mul Mul tanh cosh x0 log tanh cosh x0 Add x0 x0 