Add Mul Pow x0 Pow Add pi x0 Add x0 Mul x5 acsch Add acosh cosh Mul x0 x7 x6 x0 Mul x2 Pow acoth x0 E 
Add Add Mul x0 Mul Pow x0 Add Pow Add pi x0 Add x0 Mul x5 acsch Add acosh cosh Mul x0 x7 x6 -1 Add Pow Add pi x0 Add x0 Mul x5 acsch Add acosh cosh Mul x0 x7 x6 Mul Mul x0 log x0 Mul Pow Add pi x0 Add Add x0 Mul x5 acsch Add acosh cosh Mul x0 x7 x6 -1 Add Add x0 Mul x5 acsch Add acosh cosh Mul x0 x7 x6 Mul Mul Add pi x0 log Add pi x0 Add 1 Mul x5 Mul Mul -1 Mul Mul sinh Mul x0 x7 x7 Pow Mul sqrt Add cosh Mul x0 x7 -1 sqrt Add 1 cosh Mul x0 x7 -1 Pow Mul Mul Add acosh cosh Mul x0 x7 x6 Add acosh cosh Mul x0 x7 x6 sqrt Add 1 Mul -1 Pow Mul Add acosh cosh Mul x0 x7 x6 Add acosh cosh Mul x0 x7 x6 -1 -1 Pow x0 Pow Add pi x0 Add x0 Mul x5 acsch Add acosh cosh Mul x0 x7 x6 Mul x2 Mul Pow acoth x0 Add E -1 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 