Add acoth Pow acoth Mul x0 Add Add x1 Add x3 cosh Mul 3 acoth Mul acos x0 E x6 pi x0 
Add Mul Mul Pow acoth Mul x0 Add Add x1 Add x3 cosh Mul 3 acoth Mul acos x0 E x6 Add pi -1 Mul pi Mul Add Add Add x1 Add x3 cosh Mul 3 acoth Mul acos x0 E x6 Mul x0 Mul sinh Mul 3 acoth Mul acos x0 E Mul 3 Mul Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul acos x0 E Mul acos x0 E -1 Pow Add 1 Mul -1 Mul Mul x0 Add Add x1 Add x3 cosh Mul 3 acoth Mul acos x0 E x6 Mul x0 Add Add x1 Add x3 cosh Mul 3 acoth Mul acos x0 E x6 -1 Pow Add 1 Mul -1 Mul Pow acoth Mul x0 Add Add x1 Add x3 cosh Mul 3 acoth Mul acos x0 E x6 pi Pow acoth Mul x0 Add Add x1 Add x3 cosh Mul 3 acoth Mul acos x0 E x6 pi -1 1 