Mul asec exp Add x0 Add x0 Mul E asech Pow x0 x0 asech Pow x0 Pow asec Add x0 x0 csch x6 
Add Mul asech Pow x0 Pow asec Add x0 x0 csch x6 Mul Mul exp Add x0 Add x0 Mul E asech Pow x0 x0 Add 1 Add 1 Mul E Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul Pow x0 x0 Pow x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow x0 x0 Pow x0 x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul exp Add x0 Add x0 Mul E asech Pow x0 x0 exp Add x0 Add x0 Mul E asech Pow x0 x0 -1 exp Add x0 Add x0 Mul E asech Pow x0 x0 exp Add x0 Add x0 Mul E asech Pow x0 x0 -1 Mul asec exp Add x0 Add x0 Mul E asech Pow x0 x0 Mul Mul Pow x0 Add Pow asec Add x0 x0 csch x6 -1 Add Pow asec Add x0 x0 csch x6 Mul Mul x0 log x0 Mul Pow asec Add x0 x0 Add csch x6 -1 Mul csch x6 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 Add x0 x0 Add x0 x0 -1 Pow Mul Mul Pow x0 Pow asec Add x0 x0 csch x6 Pow x0 Pow asec Add x0 x0 csch x6 sqrt Add 1 Mul -1 Pow Mul Pow x0 Pow asec Add x0 x0 csch x6 Pow x0 Pow asec Add x0 x0 csch x6 -1 -1 