Mul Pow sech Pow Add Pow acos x0 acoth E Mul asin sqrt x0 -2 acos coth x7 Mul 4 x0 E 
Mul E Mul Pow sech Pow Add Pow acos x0 acoth E Mul asin sqrt x0 -2 acos coth x7 Add Mul 4 x0 -1 Add Mul Mul 4 x0 Mul Mul tanh Pow Add Pow acos x0 acoth E Mul asin sqrt x0 -2 acos coth x7 Mul -1 sech Pow Add Pow acos x0 acoth E Mul asin sqrt x0 -2 acos coth x7 Mul Pow Add Pow acos x0 acoth E Mul asin sqrt x0 -2 Add acos coth x7 -1 Mul acos coth x7 Add Mul Pow acos x0 Add acoth E -1 Mul acoth E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul -2 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul Mul sech Pow Add Pow acos x0 acoth E Mul asin sqrt x0 -2 acos coth x7 log sech Pow Add Pow acos x0 acoth E Mul asin sqrt x0 -2 acos coth x7 4 