Pow Pow Mul x0 asech Add x0 pi Pow Mul acosh Mul x1 x0 4 4 E 
Mul Pow Pow Mul x0 asech Add x0 pi Pow Mul acosh Mul x1 x0 4 4 Add E -1 Mul E Mul Pow Mul x0 asech Add x0 pi Add Pow Mul acosh Mul x1 x0 4 4 -1 Add Mul Pow Mul acosh Mul x1 x0 4 4 Add asech Add x0 pi Mul x0 Pow Mul Mul Add x0 pi Add x0 pi sqrt Add 1 Mul -1 Pow Mul Add x0 pi Add x0 pi -1 -1 Mul Mul Mul x0 asech Add x0 pi log Mul x0 asech Add x0 pi Mul Pow Mul acosh Mul x1 x0 4 3 Mul 4 Mul 4 Mul x1 Pow Mul sqrt Add Mul x1 x0 -1 sqrt Add 1 Mul x1 x0 -1 