Mul Pow x3 Add asech sinh x0 x0 Mul Pow Add atan x3 x4 Pow sqrt Pow x0 pi x0 Mul x0 asec Add x3 x0 
Add Mul Mul Pow Add atan x3 x4 Pow sqrt Pow x0 pi x0 Mul x0 asec Add x3 x0 Mul Pow x3 Add Add asech sinh x0 x0 -1 Mul Mul x3 log x3 Add Mul cosh x0 Pow Mul Mul sinh x0 sinh x0 sqrt Add 1 Mul -1 Pow Mul sinh x0 sinh x0 -1 -1 1 Mul Pow x3 Add asech sinh x0 x0 Add Mul Mul x0 asec Add x3 x0 Mul Pow Add atan x3 x4 Add Pow sqrt Pow x0 pi x0 -1 Mul Mul Add atan x3 x4 log Add atan x3 x4 Mul Pow sqrt Pow x0 pi Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Pow x0 pi -1 Mul Pow x0 Add pi -1 pi Mul sqrt Pow x0 pi log sqrt Pow x0 pi Mul Pow Add atan x3 x4 Pow sqrt Pow x0 pi x0 Add asec Add x3 x0 Mul x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x3 x0 Add x3 x0 -1 Add x3 x0 Add x3 x0 -1 