Pow x0 asech Pow Pow x0 sinh pi Mul 32 pi 
Mul Pow x0 Add asech Pow Pow x0 sinh pi Mul 32 pi -1 Add asech Pow Pow x0 sinh pi Mul 32 pi Mul Mul x0 log x0 Mul Mul Pow Pow x0 sinh pi Add Mul 32 pi -1 Mul Mul 32 pi Mul Pow x0 Add sinh pi -1 sinh pi Pow Mul Mul Pow Pow x0 sinh pi Mul 32 pi Pow Pow x0 sinh pi Mul 32 pi sqrt Add 1 Mul -1 Pow Mul Pow Pow x0 sinh pi Mul 32 pi Pow Pow x0 sinh pi Mul 32 pi -1 -1 