Mul x3 exp Mul csch acot x0 Add Pow 3 coth x0 Mul x4 x7 
Mul x3 Mul exp Mul csch acot x0 Add Pow 3 coth x0 Mul x4 x7 Add Mul Add Pow 3 coth x0 Mul x4 x7 Mul Mul Mul -1 coth acot x0 csch acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul csch acot x0 Mul Pow 3 Add coth x0 -1 Mul 4.09861228866811 Mul -1 Pow csch x0 2 