Add Pow x0 x0 Add Pow coth cosh x4 Add x0 Mul x0 log x6 Pow x0 x0 
Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul Pow coth cosh x4 Add Add x0 Mul x0 log x6 -1 Mul Mul coth cosh x4 log coth cosh x4 Add 1 log x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 