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