exp Pow atan Add sech Mul Add x0 Pow acoth x0 acos x0 x0 log x3 x0 
Mul exp Pow atan Add sech Mul Add x0 Pow acoth x0 acos x0 x0 log x3 x0 Mul Pow atan Add sech Mul Add x0 Pow acoth x0 acos x0 x0 log x3 Add x0 -1 Add Mul x0 Mul Mul Mul tanh Mul Add x0 Pow acoth x0 acos x0 x0 Mul -1 sech Mul Add x0 Pow acoth x0 acos x0 x0 Add Mul x0 Add 1 Mul Pow acoth x0 Add acos x0 -1 Add Mul acos x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add x0 Pow acoth x0 acos x0 Pow Add 1 Mul Add sech Mul Add x0 Pow acoth x0 acos x0 x0 log x3 Add sech Mul Add x0 Pow acoth x0 acos x0 x0 log x3 -1 Mul atan Add sech Mul Add x0 Pow acoth x0 acos x0 x0 log x3 log atan Add sech Mul Add x0 Pow acoth x0 acos x0 x0 log x3 