Pow Add Pow log Add x0 exp Mul E Add x0 Add Mul asec Pow x0 5 Add x6 x0 x0 acosh x2 -1 Mul x0 x0 
Mul Pow Add Pow log Add x0 exp Mul E Add x0 Add Mul asec Pow x0 5 Add x6 x0 x0 acosh x2 -1 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow log Add x0 exp Mul E Add x0 Add Mul asec Pow x0 5 Add x6 x0 x0 Add acosh x2 -1 Mul acosh x2 Mul Add 1 Mul exp Mul E Add x0 Add Mul asec Pow x0 5 Add x6 x0 x0 Mul E Add 1 Add Add Mul Add x6 x0 Mul Mul Pow x0 4 5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 5 Pow x0 5 -1 Pow x0 5 Pow x0 5 -1 asec Pow x0 5 1 Pow Add x0 exp Mul E Add x0 Add Mul asec Pow x0 5 Add x6 x0 x0 -1 Mul Mul Add Pow log Add x0 exp Mul E Add x0 Add Mul asec Pow x0 5 Add x6 x0 x0 acosh x2 -1 log Add Pow log Add x0 exp Mul E Add x0 Add Mul asec Pow x0 5 Add x6 x0 x0 acosh x2 -1 Add x0 x0 