Mul Add atanh Add Pow x0 cosh x0 3 x0 Pow Add atan x5 asec Add Mul x0 E x0 atanh Add asec x0 pi 
Add Mul Pow Add atan x5 asec Add Mul x0 E x0 atanh Add asec x0 pi Add Mul Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Pow Add 1 Mul -1 Mul Add Pow x0 cosh x0 3 Add Pow x0 cosh x0 3 -1 1 Mul Add atanh Add Pow x0 cosh x0 3 x0 Mul Pow Add atan x5 asec Add Mul x0 E x0 Add atanh Add asec x0 pi -1 Add Mul atanh Add asec x0 pi Mul Add E 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul x0 E x0 Add Mul x0 E x0 -1 Add Mul x0 E x0 Add Mul x0 E x0 -1 Mul Mul Add atan x5 asec Add Mul x0 E x0 log Add atan x5 asec Add Mul x0 E x0 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul Add asec x0 pi Add asec x0 pi -1 