Pow acot sqrt cot x0 tan acoth Mul Mul 2 x5 Add -3 coth x3 
Mul Pow acot sqrt cot x0 Add tan acoth Mul Mul 2 x5 Add -3 coth x3 -1 Mul tan acoth Mul Mul 2 x5 Add -3 coth x3 Mul -1 Mul Mul Pow Mul 2 sqrt cot x0 -1 Mul -1 Pow csc x0 2 Pow Add 1 Mul sqrt cot x0 sqrt cot x0 -1 