Mul x0 Add Mul -3 Mul csch atanh Mul log x7 x0 x6 Add Add x6 -3 Mul 5 Add x0 Add x0 -3 
Add Add Mul -3 Mul csch atanh Mul log x7 x0 x6 Add Add x6 -3 Mul 5 Add x0 Add x0 -3 Mul x0 Add Mul -3 Mul x6 Mul Mul Mul -1 coth atanh Mul log x7 x0 csch atanh Mul log x7 x0 Mul log x7 Pow Add 1 Mul -1 Mul Mul log x7 x0 Mul log x7 x0 -1 7 