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