Mul Pow 2 x0 Mul acosh cosh Mul x1 x0 x3 
Add Mul Mul acosh cosh Mul x1 x0 x3 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 Mul x3 Mul Mul sinh Mul x1 x0 x1 Pow Mul sqrt Add cosh Mul x1 x0 -1 sqrt Add 1 cosh Mul x1 x0 -1 