Mul Add Add E Pow x0 Add 3 x0 acos x7 Pow x6 Pow atan exp Add 1 x6 csch coth x0 
Add Mul Pow x6 Pow atan exp Add 1 x6 csch coth x0 Mul Pow x0 Add Add 3 x0 -1 Add Add 3 x0 Mul x0 log x0 Mul Add Add E Pow x0 Add 3 x0 acos x7 Mul Pow x6 Add Pow atan exp Add 1 x6 csch coth x0 -1 Mul Mul x6 log x6 Mul Pow atan exp Add 1 x6 Add csch coth x0 -1 Mul Mul atan exp Add 1 x6 log atan exp Add 1 x6 Mul Mul Mul -1 coth coth x0 csch coth x0 Mul -1 Pow csch x0 2 