Pow acsch exp Add 1 x0 asech Pow x5 -3 
Mul Pow acsch exp Add 1 x0 Add asech Pow x5 -3 -1 Mul asech Pow x5 -3 Mul Mul -1 exp Add 1 x0 Pow Mul Mul exp Add 1 x0 exp Add 1 x0 sqrt Add 1 Mul -1 Pow Mul exp Add 1 x0 exp Add 1 x0 -1 -1 