Mul x0 Mul Add E x5 Pow x3 acosh sqrt Add 4 x0 
Add Mul Add E x5 Pow x3 acosh sqrt Add 4 x0 Mul x0 Mul Add E x5 Mul Pow x3 Add acosh sqrt Add 4 x0 -1 Mul Mul x3 log x3 Mul Pow Mul 2 sqrt Add 4 x0 -1 Pow Mul sqrt Add sqrt Add 4 x0 -1 sqrt Add 1 sqrt Add 4 x0 -1 