Add Add Pow acsc Pow csch Mul x0 x0 x1 x2 Mul Pow x4 x0 acoth x1 x0 
Add Add Mul Pow acsc Pow csch Mul x0 x0 x1 Add x2 -1 Mul x2 Mul -1 Mul Mul Pow csch Mul x0 x0 Add x1 -1 Mul x1 Mul Mul Mul -1 coth Mul x0 x0 csch Mul x0 x0 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow csch Mul x0 x0 x1 Pow csch Mul x0 x0 x1 -1 Pow csch Mul x0 x0 x1 Pow csch Mul x0 x0 x1 -1 Mul acoth x1 Mul Pow x4 Add x0 -1 Mul x4 log x4 1 