Add Add x0 tan coth x0 Pow 0.481211825059603 Pow x7 Pow x6 x0 
Add Add 1 Mul Pow sec coth x0 2 Mul -1 Pow csch x0 2 Mul Pow 0.481211825059603 Add Pow x7 Pow x6 x0 -1 Mul -0.250235896018371 Mul Pow x7 Add Pow x6 x0 -1 Mul Mul x7 log x7 Mul Pow x6 Add x0 -1 Mul x6 log x6 