Mul Pow x0 sqrt x3 Mul Add -2 Add -5 Add Pow x0 -1.32134870881090 acosh Mul x0 x0 4 
Add Mul Mul Add -2 Add -5 Add Pow x0 -1.32134870881090 acosh Mul x0 x0 4 Mul Pow x0 Add sqrt x3 -1 sqrt x3 Mul Pow x0 sqrt x3 Mul 4 Add Mul Pow x0 -2.32134870881090 -1.32134870881090 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 