exp Pow x0 Mul x2 Add x0 Pow acoth x0 Add x2 x7 
Mul exp Pow x0 Mul x2 Add x0 Pow acoth x0 Add x2 x7 Mul Pow x0 Add Mul x2 Add x0 Pow acoth x0 Add x2 x7 -1 Add Mul x2 Add x0 Pow acoth x0 Add x2 x7 Mul Mul x0 log x0 Mul x2 Add 1 Mul Pow acoth x0 Add Add x2 x7 -1 Mul Add x2 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 