Add asin x3 csch Mul Pow x0 acoth Pow x0 x6 x5 
Mul Mul Mul -1 coth Mul Pow x0 acoth Pow x0 x6 x5 csch Mul Pow x0 acoth Pow x0 x6 x5 Mul x5 Mul Pow x0 Add acoth Pow x0 x6 -1 Add acoth Pow x0 x6 Mul Mul x0 log x0 Mul Mul Pow x0 Add x6 -1 x6 Pow Add 1 Mul -1 Mul Pow x0 x6 Pow x0 x6 -1 