csch Mul Add x6 -2 coth Pow acoth x4 x0 
Mul Mul Mul -1 coth Mul Add x6 -2 coth Pow acoth x4 x0 csch Mul Add x6 -2 coth Pow acoth x4 x0 Mul Add x6 -2 Mul Mul -1 Pow csch Pow acoth x4 x0 2 Mul Pow acoth x4 Add x0 -1 Mul acoth x4 log acoth x4 