acot Pow x0 Add 0.964027580075817 coth x7 
Mul -1 Mul Mul Pow x0 Add Add 0.964027580075817 coth x7 -1 Add 0.964027580075817 coth x7 Pow Add 1 Mul Pow x0 Add 0.964027580075817 coth x7 Pow x0 Add 0.964027580075817 coth x7 -1 