exp acoth Pow sech Pow x4 x0 exp acosh sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 
Mul exp acoth Pow sech Pow x4 x0 exp acosh sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 Mul Mul Pow sech Pow x4 x0 Add exp acosh sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 -1 Add Mul exp acosh sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 Mul Mul tanh Pow x4 x0 Mul -1 sech Pow x4 x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul sech Pow x4 x0 log sech Pow x4 x0 Mul exp acosh sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 Mul Mul Mul tanh Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 Mul -1 sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 Add Mul Pow Mul Add x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 2 Add x0 x0 Mul Mul Add x0 x0 x0 log Mul Add x0 x0 x0 sinh x0 Pow Mul sqrt Add sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 -1 sqrt Add 1 sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 -1 Pow Add 1 Mul -1 Mul Pow sech Pow x4 x0 exp acosh sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 Pow sech Pow x4 x0 exp acosh sech Add Pow Mul Add x0 x0 x0 x0 Add cosh x0 x1 -1 