Add x3 Mul Mul x0 Pow cot x5 x0 log Mul asin coth x0 x0 
Add Mul log Mul asin coth x0 x0 Add Pow cot x5 x0 Mul x0 Mul Pow cot x5 Add x0 -1 Mul cot x5 log cot x5 Mul Mul x0 Pow cot x5 x0 Mul Add Mul x0 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 asin coth x0 Pow Mul asin coth x0 x0 -1 