Mul -3 log Add acot Add Pow x1 Pow atanh Add x0 csch Add sinh Pow x0 pi -1 acosh E x0 Mul -4 x0 
Mul -3 Mul Add Mul -1 Mul Add Mul Pow x1 Add Pow atanh Add x0 csch Add sinh Pow x0 pi -1 acosh E -1 Mul Mul x1 log x1 Mul Pow atanh Add x0 csch Add sinh Pow x0 pi -1 Add acosh E -1 Mul acosh E Mul Add 1 Mul Mul Mul -1 coth Add sinh Pow x0 pi -1 csch Add sinh Pow x0 pi -1 Mul cosh Pow x0 pi Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Add x0 csch Add sinh Pow x0 pi -1 Add x0 csch Add sinh Pow x0 pi -1 -1 1 Pow Add 1 Mul Add Pow x1 Pow atanh Add x0 csch Add sinh Pow x0 pi -1 acosh E x0 Add Pow x1 Pow atanh Add x0 csch Add sinh Pow x0 pi -1 acosh E x0 -1 -4 Pow Add acot Add Pow x1 Pow atanh Add x0 csch Add sinh Pow x0 pi -1 acosh E x0 Mul -4 x0 -1 