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