Add Pow Mul x0 x5 Mul x4 x0 Add 1 asech acosh Pow x6 Add x0 x3 
Add Mul Pow Mul x0 x5 Add Mul x4 x0 -1 Add Mul Mul x4 x0 x5 Mul Mul Mul x0 x5 log Mul x0 x5 x4 Mul Mul Mul Pow x6 Add Add x0 x3 -1 Mul x6 log x6 Pow Mul sqrt Add Pow x6 Add x0 x3 -1 sqrt Add 1 Pow x6 Add x0 x3 -1 Pow Mul Mul acosh Pow x6 Add x0 x3 acosh Pow x6 Add x0 x3 sqrt Add 1 Mul -1 Pow Mul acosh Pow x6 Add x0 x3 acosh Pow x6 Add x0 x3 -1 -1 