cos Pow acot x5 Mul coth Add x0 x1 x0 
Mul Mul -1 sin Pow acot x5 Mul coth Add x0 x1 x0 Mul Pow acot x5 Add Mul coth Add x0 x1 x0 -1 Mul Mul acot x5 log acot x5 Add Mul x0 Mul -1 Pow csch Add x0 x1 2 coth Add x0 x1 