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