Mul acos Mul Add -2 atan coth Mul acosh pi x0 Add Mul 5 x0 x0 Pow Add log x4 x0 x0 
Add Mul Pow Add log x4 x0 x0 Mul -1 Mul Add Mul Add Mul 5 x0 x0 Mul Mul Mul -1 Pow csch Mul acosh pi x0 2 acosh pi Pow Add 1 Mul coth Mul acosh pi x0 coth Mul acosh pi x0 -1 Mul Add -2 atan coth Mul acosh pi x0 6 Pow sqrt Add 1 Mul -1 Mul Mul Add -2 atan coth Mul acosh pi x0 Add Mul 5 x0 x0 Mul Add -2 atan coth Mul acosh pi x0 Add Mul 5 x0 x0 -1 Mul acos Mul Add -2 atan coth Mul acosh pi x0 Add Mul 5 x0 x0 Mul Pow Add log x4 x0 Add x0 -1 Add x0 Mul Add log x4 x0 log Add log x4 x0 