Pow x7 asech Add x0 acoth acsc pi 
Mul Pow x7 Add asech Add x0 acoth acsc pi -1 Mul Mul x7 log x7 Pow Mul Mul Add x0 acoth acsc pi Add x0 acoth acsc pi sqrt Add 1 Mul -1 Pow Mul Add x0 acoth acsc pi Add x0 acoth acsc pi -1 -1 