Add Add x0 asec Mul log Pow Mul x0 Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 x6 -4 x3 
Add 1 Mul Mul -4 Mul Mul Pow Mul x0 Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 Add x6 -1 Mul x6 Add Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 Mul x0 Mul -4 Add Mul Mul x0 x0 Add Mul acosh Add x0 x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Pow 4 x0 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul Mul Pow 4 x0 acosh Add x0 x0 Add x0 x0 Pow Pow Mul x0 Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 x6 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul log Pow Mul x0 Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 x6 -4 Mul log Pow Mul x0 Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 x6 -4 -1 Mul log Pow Mul x0 Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 x6 -4 Mul log Pow Mul x0 Mul Mul Mul Pow 4 x0 acosh Add x0 x0 Mul x0 x0 -4 x6 -4 -1 