acosh Add Pow Pow coth acos x3 Pow Add Add x0 x0 acos x0 Add E cosh x0 x0 Pow x2 sech x0 
Mul Add Mul Pow Pow coth acos x3 Pow Add Add x0 x0 acos x0 Add E cosh x0 Add x0 -1 Add Mul x0 Mul Pow coth acos x3 Add Pow Add Add x0 x0 acos x0 Add E cosh x0 -1 Mul Mul coth acos x3 log coth acos x3 Mul Pow Add Add x0 x0 acos x0 Add Add E cosh x0 -1 Add Mul Add E cosh x0 Add 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add Add x0 x0 acos x0 log Add Add x0 x0 acos x0 sinh x0 Mul Pow coth acos x3 Pow Add Add x0 x0 acos x0 Add E cosh x0 log Pow coth acos x3 Pow Add Add x0 x0 acos x0 Add E cosh x0 Mul Pow x2 Add sech x0 -1 Mul Mul x2 log x2 Mul tanh x0 Mul -1 sech x0 Pow Mul sqrt Add Add Pow Pow coth acos x3 Pow Add Add x0 x0 acos x0 Add E cosh x0 x0 Pow x2 sech x0 -1 sqrt Add 1 Add Pow Pow coth acos x3 Pow Add Add x0 x0 acos x0 Add E cosh x0 x0 Pow x2 sech x0 -1 