exp Add csch x0 Pow log x6 Add asech Add sqrt x2 x0 x0 
Mul exp Add csch x0 Pow log x6 Add asech Add sqrt x2 x0 x0 Add Mul Mul -1 coth x0 csch x0 Mul Pow log x6 Add Add asech Add sqrt x2 x0 x0 -1 Mul Mul log x6 log log x6 Add Pow Mul Mul Add sqrt x2 x0 Add sqrt x2 x0 sqrt Add 1 Mul -1 Pow Mul Add sqrt x2 x0 Add sqrt x2 x0 -1 -1 1 