Pow coth x5 acsch Pow acot cot sqrt x0 x0 
Mul Pow coth x5 Add acsch Pow acot cot sqrt x0 x0 -1 Mul Mul coth x5 log coth x5 Mul Mul -1 Mul Pow acot cot sqrt x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul -1 Pow csc sqrt x0 2 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul cot sqrt x0 cot sqrt x0 -1 Mul acot cot sqrt x0 log acot cot sqrt x0 Pow Mul Mul Pow acot cot sqrt x0 x0 Pow acot cot sqrt x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow acot cot sqrt x0 x0 Pow acot cot sqrt x0 x0 -1 -1 