Mul x0 Add Mul Mul x0 acoth x3 Mul x0 Pow x0 Mul Pow sech log x0 x1 Add x1 x2 x7 
Add Add Mul Mul x0 acoth x3 Mul x0 Pow x0 Mul Pow sech log x0 x1 Add x1 x2 x7 Mul x0 Add Mul Mul x0 Pow x0 Mul Pow sech log x0 x1 Add x1 x2 acoth x3 Mul Mul x0 acoth x3 Add Pow x0 Mul Pow sech log x0 x1 Add x1 x2 Mul x0 Mul Pow x0 Add Mul Pow sech log x0 x1 Add x1 x2 -1 Add Mul Pow sech log x0 x1 Add x1 x2 Mul Mul x0 log x0 Mul Add x1 x2 Mul Pow sech log x0 Add x1 -1 Mul x1 Mul Mul tanh log x0 Mul -1 sech log x0 Pow x0 -1 