Mul Pow -4 x5 Mul Mul x7 x0 csch sqrt Add log Mul x0 x2 sqrt Pow 5 x1 
Mul Pow -4 x5 Add Mul csch sqrt Add log Mul x0 x2 sqrt Pow 5 x1 x7 Mul Mul x7 x0 Mul Mul Mul -1 coth sqrt Add log Mul x0 x2 sqrt Pow 5 x1 csch sqrt Add log Mul x0 x2 sqrt Pow 5 x1 Mul Pow Mul 2 sqrt Add log Mul x0 x2 sqrt Pow 5 x1 -1 Mul x2 Pow Mul x0 x2 -1 