acosh Add Pow x3 sqrt Add 1 x0 x0 
Mul Add Mul Pow x3 Add sqrt Add 1 x0 -1 Mul Mul x3 log x3 Pow Mul 2 sqrt Add 1 x0 -1 1 Pow Mul sqrt Add Add Pow x3 sqrt Add 1 x0 x0 -1 sqrt Add 1 Add Pow x3 sqrt Add 1 x0 x0 -1 