Mul x0 atan Add Add x0 csch x0 Pow Add Mul x0 3 sech Pow x3 x6 -4 
Add atan Add Add x0 csch x0 Pow Add Mul x0 3 sech Pow x3 x6 -4 Mul x0 Mul Add Add 1 Mul Mul -1 coth x0 csch x0 Pow Add Mul x0 3 sech Pow x3 x6 5 Pow Add 1 Mul Add Add x0 csch x0 Pow Add Mul x0 3 sech Pow x3 x6 -4 Add Add x0 csch x0 Pow Add Mul x0 3 sech Pow x3 x6 -4 -1 