Pow asec asec Pow acosh E x1 Mul Mul x0 Pow Pow Mul Add x7 Mul x0 x0 2 Add -3 sqrt x2 x0 1.55740772465490 
Mul Pow asec asec Pow acosh E x1 Add Mul Mul x0 Pow Pow Mul Add x7 Mul x0 x0 2 Add -3 sqrt x2 x0 1.55740772465490 -1 Mul Mul asec asec Pow acosh E x1 log asec asec Pow acosh E x1 Mul 1.55740772465490 Add Pow Pow Mul Add x7 Mul x0 x0 2 Add -3 sqrt x2 x0 Mul x0 Mul Pow Pow Mul Add x7 Mul x0 x0 2 Add -3 sqrt x2 Add x0 -1 Add Mul x0 Mul Pow Mul Add x7 Mul x0 x0 2 Add Add -3 sqrt x2 -1 Mul Add -3 sqrt x2 Mul 2 Add x0 x0 Mul Pow Mul Add x7 Mul x0 x0 2 Add -3 sqrt x2 log Pow Mul Add x7 Mul x0 x0 2 Add -3 sqrt x2 