Mul acosh Pow x2 Pow x4 Add x0 Add x0 x0 x0 
Add Mul x0 Mul Mul Pow x2 Add Pow x4 Add x0 Add x0 x0 -1 Mul Mul x2 log x2 Mul Pow x4 Add Add x0 Add x0 x0 -1 Mul Mul x4 log x4 3 Pow Mul sqrt Add Pow x2 Pow x4 Add x0 Add x0 x0 -1 sqrt Add 1 Pow x2 Pow x4 Add x0 Add x0 x0 -1 acosh Pow x2 Pow x4 Add x0 Add x0 x0 