Pow Pow x0 Mul x0 asec Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 x0 
Mul Pow Pow x0 Mul x0 asec Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 Add x0 -1 Add Mul x0 Mul Pow x0 Add Mul x0 asec Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 -1 Add Mul x0 asec Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 Mul Mul x0 log x0 Add asec Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 Mul x0 Mul Mul Pow tan Pow Add exp atanh x0 x0 x0 Add Mul x0 x6 -1 Add Mul Mul x0 x6 Mul Pow sec Pow Add exp atanh x0 x0 x0 2 Mul Pow Add exp atanh x0 x0 Add x0 -1 Add Mul x0 Add Mul exp atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add exp atanh x0 x0 log Add exp atanh x0 x0 Mul Mul tan Pow Add exp atanh x0 x0 x0 log tan Pow Add exp atanh x0 x0 x0 x6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 -1 Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 -1 Mul Pow x0 Mul x0 asec Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 log Pow x0 Mul x0 asec Pow tan Pow Add exp atanh x0 x0 x0 Mul x0 x6 