Mul asin csch x0 Mul x1 Pow Mul Pow Add x0 2 x3 x0 acot x5 
Add Mul Mul x1 Pow Mul Pow Add x0 2 x3 x0 acot x5 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 Mul asin csch x0 Mul x1 Mul Pow Mul Pow Add x0 2 x3 x0 Add acot x5 -1 Mul acot x5 Add Mul x0 Mul Pow Add x0 2 Add x3 -1 x3 Pow Add x0 2 x3 