Pow x0 Add 2 Mul Add sec acoth x1 5 Mul Pow x0 x1 Add x0 Pow x7 x3 
Mul Pow x0 Add Add 2 Mul Add sec acoth x1 5 Mul Pow x0 x1 Add x0 Pow x7 x3 -1 Add Add 2 Mul Add sec acoth x1 5 Mul Pow x0 x1 Add x0 Pow x7 x3 Mul Mul x0 log x0 Mul Add sec acoth x1 5 Add Mul Add x0 Pow x7 x3 Mul Pow x0 Add x1 -1 x1 Pow x0 x1 