sech Mul Pow cosh x0 Pow x4 Add x0 acot x0 Pow sqrt Add x0 x0 x0 
Mul Mul tanh Mul Pow cosh x0 Pow x4 Add x0 acot x0 Pow sqrt Add x0 x0 x0 Mul -1 sech Mul Pow cosh x0 Pow x4 Add x0 acot x0 Pow sqrt Add x0 x0 x0 Add Mul Pow sqrt Add x0 x0 x0 Mul Pow cosh x0 Add Pow x4 Add x0 acot x0 -1 Add Mul Pow x4 Add x0 acot x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow x4 Add Add x0 acot x0 -1 Mul Mul x4 log x4 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow cosh x0 Pow x4 Add x0 acot x0 Mul Pow sqrt Add x0 x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Add x0 x0 -1 2 Mul sqrt Add x0 x0 log sqrt Add x0 x0 