Pow x0 Pow x6 Mul x0 log sqrt Mul Mul x0 x3 acot csch E 
Mul Pow x0 Add Pow x6 Mul x0 log sqrt Mul Mul x0 x3 acot csch E -1 Add Pow x6 Mul x0 log sqrt Mul Mul x0 x3 acot csch E Mul Mul x0 log x0 Mul Pow x6 Add Mul x0 log sqrt Mul Mul x0 x3 acot csch E -1 Mul Mul x6 log x6 Add log sqrt Mul Mul x0 x3 acot csch E Mul x0 Mul Mul Pow Mul 2 sqrt Mul Mul x0 x3 acot csch E -1 Mul acot csch E x3 Pow sqrt Mul Mul x0 x3 acot csch E -1 