acosh Mul x0 log csch Pow E Add Add x0 x0 Add x0 log Mul x7 x6 
Mul Add log csch Pow E Add Add x0 x0 Add x0 log Mul x7 x6 Mul x0 Mul Mul Mul Mul -1 coth Pow E Add Add x0 x0 Add x0 log Mul x7 x6 csch Pow E Add Add x0 x0 Add x0 log Mul x7 x6 Mul Pow E Add Add Add x0 x0 Add x0 log Mul x7 x6 -1 Mul Mul E log E 3 Pow csch Pow E Add Add x0 x0 Add x0 log Mul x7 x6 -1 Pow Mul sqrt Add Mul x0 log csch Pow E Add Add x0 x0 Add x0 log Mul x7 x6 -1 sqrt Add 1 Mul x0 log csch Pow E Add Add x0 x0 Add x0 log Mul x7 x6 -1 