Pow Mul x7 Add coth Add x0 Add x2 acosh x0 Add x0 x0 x2 
Mul Pow Mul x7 Add coth Add x0 Add x2 acosh x0 Add x0 x0 Add x2 -1 Mul x2 Mul x7 Add Mul Mul -1 Pow csch Add x0 Add x2 acosh x0 2 Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 2 