Mul asech Mul x0 Pow x0 acosh x3 Mul Add 1.77215424758523 x7 Mul Mul x3 x2 x0 
Add Mul Mul Add 1.77215424758523 x7 Mul Mul x3 x2 x0 Mul Add Pow x0 acosh x3 Mul x0 Mul Pow x0 Add acosh x3 -1 acosh x3 Pow Mul Mul Mul x0 Pow x0 acosh x3 Mul x0 Pow x0 acosh x3 sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow x0 acosh x3 Mul x0 Pow x0 acosh x3 -1 -1 Mul asech Mul x0 Pow x0 acosh x3 Mul Add 1.77215424758523 x7 Mul x3 x2 