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