acoth Pow Pow pi atanh Pow x3 Mul cosh pi Mul -4 cot x0 acosh x6 
Mul Mul Pow Pow pi atanh Pow x3 Mul cosh pi Mul -4 cot x0 Add acosh x6 -1 Mul acosh x6 Mul Pow pi Add atanh Pow x3 Mul cosh pi Mul -4 cot x0 -1 Mul Mul pi log pi Mul Mul Pow x3 Add Mul cosh pi Mul -4 cot x0 -1 Mul Mul x3 log x3 Mul cosh pi Mul -4 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Pow x3 Mul cosh pi Mul -4 cot x0 Pow x3 Mul cosh pi Mul -4 cot x0 -1 Pow Add 1 Mul -1 Mul Pow Pow pi atanh Pow x3 Mul cosh pi Mul -4 cot x0 acosh x6 Pow Pow pi atanh Pow x3 Mul cosh pi Mul -4 cot x0 acosh x6 -1 