Pow acot x2 Add sinh atan Add x0 cot x0 coth x5 
Mul Pow acot x2 Add Add sinh atan Add x0 cot x0 coth x5 -1 Mul Mul acot x2 log acot x2 Mul cosh atan Add x0 cot x0 Mul Add 1 Mul -1 Pow csc x0 2 Pow Add 1 Mul Add x0 cot x0 Add x0 cot x0 -1 