Mul sqrt Pow E Add acot Add -4 acosh Pow x3 Mul x0 x0 log pi Add acsch x4 3 
Mul Add acsch x4 3 Mul Pow Mul 2 sqrt Pow E Add acot Add -4 acosh Pow x3 Mul x0 x0 log pi -1 Mul Pow E Add Add acot Add -4 acosh Pow x3 Mul x0 x0 log pi -1 Mul Mul E log E Mul -1 Mul Mul Mul Pow x3 Add Mul x0 x0 -1 Mul Mul x3 log x3 Add x0 x0 Pow Mul sqrt Add Pow x3 Mul x0 x0 -1 sqrt Add 1 Pow x3 Mul x0 x0 -1 Pow Add 1 Mul Add -4 acosh Pow x3 Mul x0 x0 Add -4 acosh Pow x3 Mul x0 x0 -1 