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