Mul acos x0 sqrt Add csch Add Mul Mul Mul Mul Mul Add pi x0 x7 2 -2 x0 E x0 acosh x1 
Add Mul sqrt Add csch Add Mul Mul Mul Mul Mul Add pi x0 x7 2 -2 x0 E x0 acosh x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow Mul 2 sqrt Add csch Add Mul Mul Mul Mul Mul Add pi x0 x7 2 -2 x0 E x0 acosh x1 -1 Mul Mul Mul -1 coth Add Mul Mul Mul Mul Mul Add pi x0 x7 2 -2 x0 E x0 csch Add Mul Mul Mul Mul Mul Add pi x0 x7 2 -2 x0 E x0 Add Mul E Add Mul x0 Mul -2 Mul 2 x7 Mul Mul Mul Add pi x0 x7 2 -2 1 