exp Pow x3 sech asec Add pi Pow Mul x0 asech x0 E 
Mul exp Pow x3 sech asec Add pi Pow Mul x0 asech x0 E Mul Pow x3 Add sech asec Add pi Pow Mul x0 asech x0 E -1 Mul Mul x3 log x3 Mul Mul tanh asec Add pi Pow Mul x0 asech x0 E Mul -1 sech asec Add pi Pow Mul x0 asech x0 E Mul Mul Pow Mul x0 asech x0 Add E -1 Mul E Add asech x0 Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add pi Pow Mul x0 asech x0 E Add pi Pow Mul x0 asech x0 E -1 Add pi Pow Mul x0 asech x0 E Add pi Pow Mul x0 asech x0 E -1 