Pow Mul x0 acosh Add Add exp coth x0 4 x2 4 
Mul Pow Mul x0 acosh Add Add exp coth x0 4 x2 3 Mul 4 Add acosh Add Add exp coth x0 4 x2 Mul x0 Mul Mul exp coth x0 Mul -1 Pow csch x0 2 Pow Mul sqrt Add Add Add exp coth x0 4 x2 -1 sqrt Add 1 Add Add exp coth x0 4 x2 -1 