acosh Mul x0 Mul x0 acot Add cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 x2 
Mul Add Mul x0 acot Add cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 x2 Mul x0 Add acot Add cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 x2 Mul x0 Mul -1 Mul Mul Pow Mul Mul 3 cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 -1 Mul Pow coth Pow x7 x1 Add Pow x4 Mul x0 2 -1 Mul Mul coth Pow x7 x1 log coth Pow x7 x1 Mul Pow x4 Add Mul x0 2 -1 Mul Mul x4 log x4 2 Pow Add 1 Mul Add cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 x2 Add cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 x2 -1 Pow Mul sqrt Add Mul x0 Mul x0 acot Add cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 x2 -1 sqrt Add 1 Mul x0 Mul x0 acot Add cbrt Pow coth Pow x7 x1 Pow x4 Mul x0 2 x2 -1 