Mul atan x0 Mul csch Add acsch Mul x1 x0 x3 Pow cot x0 x0 
Add Mul Mul csch Add acsch Mul x1 x0 x3 Pow cot x0 x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Add Mul Pow cot x0 x0 Mul Mul Mul -1 coth Add acsch Mul x1 x0 x3 csch Add acsch Mul x1 x0 x3 Mul Mul -1 x1 Pow Mul Mul Mul x1 x0 Mul x1 x0 sqrt Add 1 Mul -1 Pow Mul Mul x1 x0 Mul x1 x0 -1 -1 Mul csch Add acsch Mul x1 x0 x3 Mul Pow cot x0 Add x0 -1 Add Mul x0 Mul -1 Pow csc x0 2 Mul cot x0 log cot x0 