asec Mul x0 sech asech Mul 0.999329299739067 x7 
Mul sech asech Mul 0.999329299739067 x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 sech asech Mul 0.999329299739067 x7 Mul x0 sech asech Mul 0.999329299739067 x7 -1 Mul x0 sech asech Mul 0.999329299739067 x7 Mul x0 sech asech Mul 0.999329299739067 x7 -1 