Add asin x0 exp Pow Pow x4 acoth x2 coth x0 
Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul exp Pow Pow x4 acoth x2 coth x0 Mul Pow Pow x4 acoth x2 Add coth x0 -1 Mul Mul Pow x4 acoth x2 log Pow x4 acoth x2 Mul -1 Pow csch x0 2 