Add Mul csc Pow cosh x5 x0 Add x0 atanh Mul x0 2 Pow x0 Mul -5 log pi 
Add Add Mul Add x0 atanh Mul x0 2 Mul Mul Mul -1 cot Pow cosh x5 x0 csc Pow cosh x5 x0 Mul Pow cosh x5 Add x0 -1 Mul cosh x5 log cosh x5 Mul csc Pow cosh x5 x0 Add 1 Mul 2 Pow Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 Mul Pow x0 Add Mul -5 log pi -1 Mul -5 log pi 