Pow exp Pow x1 Pow x5 Add x0 Pow x0 Pow Pow Add x0 x0 acoth x7 x0 x2 
Mul Pow exp Pow x1 Pow x5 Add x0 Pow x0 Pow Pow Add x0 x0 acoth x7 x0 Add x2 -1 Mul x2 Mul exp Pow x1 Pow x5 Add x0 Pow x0 Pow Pow Add x0 x0 acoth x7 x0 Mul Pow x1 Add Pow x5 Add x0 Pow x0 Pow Pow Add x0 x0 acoth x7 x0 -1 Mul Mul x1 log x1 Mul Pow x5 Add Add x0 Pow x0 Pow Pow Add x0 x0 acoth x7 x0 -1 Mul Mul x5 log x5 Add 1 Mul Pow x0 Add Pow Pow Add x0 x0 acoth x7 x0 -1 Add Pow Pow Add x0 x0 acoth x7 x0 Mul Mul x0 log x0 Mul Pow Pow Add x0 x0 acoth x7 Add x0 -1 Add Mul x0 Mul Pow Add x0 x0 Add acoth x7 -1 Mul acoth x7 2 Mul Pow Add x0 x0 acoth x7 log Pow Add x0 x0 acoth x7 