Mul Mul cot x4 pi Add cot Add Mul Add x5 log sech acot x1 cosh log acot cosh x0 x3 x0 
Mul Mul cot x4 pi Add Mul Mul -1 Pow csc Add Mul Add x5 log sech acot x1 cosh log acot cosh x0 x3 2 Mul Add x5 log sech acot x1 Mul sinh log acot cosh x0 Mul Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Pow acot cosh x0 -1 1 