Pow sqrt x6 asech Mul x0 sech x0 
Mul Pow sqrt x6 Add asech Mul x0 sech x0 -1 Mul Mul sqrt x6 log sqrt x6 Mul Add sech x0 Mul x0 Mul tanh x0 Mul -1 sech x0 Pow Mul Mul Mul x0 sech x0 Mul x0 sech x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 sech x0 Mul x0 sech x0 -1 -1 