Mul Add x0 x0 Pow sech log x6 Pow x4 asech Pow x6 Mul x0 2 
Add Mul Pow sech log x6 Pow x4 asech Pow x6 Mul x0 2 2 Mul Add x0 x0 Mul Pow sech log x6 Add Pow x4 asech Pow x6 Mul x0 2 -1 Mul Mul sech log x6 log sech log x6 Mul Pow x4 Add asech Pow x6 Mul x0 2 -1 Mul Mul x4 log x4 Mul Mul Pow x6 Add Mul x0 2 -1 Mul Mul x6 log x6 2 Pow Mul Mul Pow x6 Mul x0 2 Pow x6 Mul x0 2 sqrt Add 1 Mul -1 Pow Mul Pow x6 Mul x0 2 Pow x6 Mul x0 2 -1 -1 