Pow Mul acosh Mul x0 2 E Add x4 Add x0 Add x0 Add -2 x0 
Mul Pow Mul acosh Mul x0 2 E Add Add x4 Add x0 Add x0 Add -2 x0 -1 Add Mul Add x4 Add x0 Add x0 Add -2 x0 Mul E Mul 2 Pow Mul sqrt Add Mul x0 2 -1 sqrt Add 1 Mul x0 2 -1 Mul Mul Mul acosh Mul x0 2 E log Mul acosh Mul x0 2 E 3 