Mul exp Mul x0 atan Add asech x0 acoth x0 x7 
Mul x7 Mul exp Mul x0 atan Add asech x0 acoth x0 Add atan Add asech x0 acoth x0 Mul x0 Mul Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add asech x0 acoth x0 Add asech x0 acoth x0 -1 