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