Add -3 Add Add x0 Pow Mul Mul x0 Pow x0 log x0 2 Add Pow x7 acosh Add 2 exp coth x2 x6 Pow x0 -1 
Add Add 1 Mul Pow Mul Mul x0 Pow x0 log x0 2 Add Add Pow x7 acosh Add 2 exp coth x2 x6 -1 Mul Add Pow x7 acosh Add 2 exp coth x2 x6 Mul 2 Add Pow x0 log x0 Mul x0 Mul Pow x0 Add log x0 -1 Add log x0 Mul Mul x0 log x0 Pow x0 -1 Mul Pow x0 2 -1 