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