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