Add asech cosh Mul x0 x4 Mul Pow Pow Add asech x0 x5 pi x0 x5 
Add Mul Mul sinh Mul x0 x4 x4 Pow Mul Mul cosh Mul x0 x4 cosh Mul x0 x4 sqrt Add 1 Mul -1 Pow Mul cosh Mul x0 x4 cosh Mul x0 x4 -1 -1 Mul x5 Mul Pow Pow Add asech x0 x5 pi Add x0 -1 Add Mul x0 Mul Pow Add asech x0 x5 Add pi -1 Mul pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Add asech x0 x5 pi log Pow Add asech x0 x5 pi 