Mul x0 Pow Mul Add Mul Add Pow Pow Add acosh x0 x0 x0 4 x0 x6 sec acosh Add Add x4 x0 1 -2 Pow x0 x0 
Add Pow Mul Add Mul Add Pow Pow Add acosh x0 x0 x0 4 x0 x6 sec acosh Add Add x4 x0 1 -2 Pow x0 x0 Mul x0 Mul Pow Mul Add Mul Add Pow Pow Add acosh x0 x0 x0 4 x0 x6 sec acosh Add Add x4 x0 1 -2 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul -2 Add Mul x6 Add Mul Pow Pow Add acosh x0 x0 x0 3 Mul 4 Mul Pow Add acosh x0 x0 Add x0 -1 Add Mul x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Add acosh x0 x0 log Add acosh x0 x0 1 Mul Mul tan acosh Add Add x4 x0 1 sec acosh Add Add x4 x0 1 Pow Mul sqrt Add Add Add x4 x0 1 -1 sqrt Add 1 Add Add x4 x0 1 -1 Mul Mul Mul Add Mul Add Pow Pow Add acosh x0 x0 x0 4 x0 x6 sec acosh Add Add x4 x0 1 -2 log Mul Add Mul Add Pow Pow Add acosh x0 x0 x0 4 x0 x6 sec acosh Add Add x4 x0 1 -2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 