Mul x6 Pow Add Add Mul x0 x6 x0 Pow acos asech Pow Pow x1 acosh x0 x0 0.481211825059603 Add Add x4 x4 x3 
Mul x6 Mul Pow Add Add Mul x0 x6 x0 Pow acos asech Pow Pow x1 acosh x0 x0 0.481211825059603 Add Add Add x4 x4 x3 -1 Mul Add Add x4 x4 x3 Add Add x6 1 Mul Pow acos asech Pow Pow x1 acosh x0 x0 -0.518788174940397 Mul 0.481211825059603 Mul -1 Mul Mul Mul Pow Pow x1 acosh x0 Add x0 -1 Add Mul x0 Mul Pow x1 Add acosh x0 -1 Mul Mul x1 log x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x1 acosh x0 log Pow x1 acosh x0 Pow Mul Mul Pow Pow x1 acosh x0 x0 Pow Pow x1 acosh x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow x1 acosh x0 x0 Pow Pow x1 acosh x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Pow Pow x1 acosh x0 x0 asech Pow Pow x1 acosh x0 x0 -1 