Mul x0 Add Mul acot x7 Pow Add Add x0 csch x0 Mul x0 Pow x4 x0 x6 E 
Add Add Mul acot x7 Pow Add Add x0 csch x0 Mul x0 Pow x4 x0 x6 E Mul x0 Mul acot x7 Mul Pow Add Add x0 csch x0 Mul x0 Pow x4 x0 Add x6 -1 Mul x6 Add Add 1 Mul Mul -1 coth x0 csch x0 Add Pow x4 x0 Mul x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 