Mul x0 Add Add Pow x4 x0 Pow Mul x3 sqrt x7 x0 Add coth x0 x0 
Add Add Add Pow x4 x0 Pow Mul x3 sqrt x7 x0 Add coth x0 x0 Mul x0 Add Add Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow Mul x3 sqrt x7 Add x0 -1 Mul Mul x3 sqrt x7 log Mul x3 sqrt x7 Add Mul -1 Pow csch x0 2 1 