Add Add x3 Pow x1 Pow tan acos x0 sinh Mul asec x7 Pow x6 Add x0 acoth x0 E 
Mul Pow x1 Add Pow tan acos x0 sinh Mul asec x7 Pow x6 Add x0 acoth x0 -1 Mul Mul x1 log x1 Mul Pow tan acos x0 Add sinh Mul asec x7 Pow x6 Add x0 acoth x0 -1 Add Mul sinh Mul asec x7 Pow x6 Add x0 acoth x0 Mul Pow sec acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul tan acos x0 log tan acos x0 Mul cosh Mul asec x7 Pow x6 Add x0 acoth x0 Mul asec x7 Mul Pow x6 Add Add x0 acoth x0 -1 Mul Mul x6 log x6 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 