Mul -74.2032105777888 Add Mul Mul Add Mul x0 x0 Pow 5 x7 Mul 4 x4 sec acosh Pow 2 x0 x0 
Mul -74.2032105777888 Add Add Mul sec acosh Pow 2 x0 Mul Mul 4 x4 Add x0 x0 Mul Mul Add Mul x0 x0 Pow 5 x7 Mul 4 x4 Mul Mul tan acosh Pow 2 x0 sec acosh Pow 2 x0 Mul Mul Pow 2 Add x0 -1 2.69314718055995 Pow Mul sqrt Add Pow 2 x0 -1 sqrt Add 1 Pow 2 x0 -1 1 