Add Mul x0 Add Add x0 Pow 2 Mul asech Mul Pow E 4 acosh x6 x0 Mul x0 Add -4 acosh x0 x0 
Add Add Add Add x0 Pow 2 Mul asech Mul Pow E 4 acosh x6 x0 Mul x0 Add -4 acosh x0 Mul x0 Add Add 1 Mul Pow 2 Add Mul asech Mul Pow E 4 acosh x6 x0 -1 Mul 2.69314718055995 asech Mul Pow E 4 acosh x6 Add Add -4 acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 