Mul Pow Pow Add Add acot coth x0 2 x0 64 -1 acos Pow Mul x7 -2 Add Pow x2 x0 x0 
Add Mul acos Pow Mul x7 -2 Add Pow x2 x0 x0 Mul Pow Pow Add Add acot coth x0 2 x0 64 2 Mul -1 Mul Pow Add Add acot coth x0 2 x0 63 Mul 64 Add Mul -1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 1 Mul Pow Pow Add Add acot coth x0 2 x0 64 -1 Mul -1 Mul Mul Pow Mul x7 -2 Add Add Pow x2 x0 x0 -1 Mul Mul Mul x7 -2 log Mul x7 -2 Add Mul Pow x2 Add x0 -1 Mul x2 log x2 1 Pow sqrt Add 1 Mul -1 Mul Pow Mul x7 -2 Add Pow x2 x0 x0 Pow Mul x7 -2 Add Pow x2 x0 x0 -1 