acosh Mul Mul x0 0.283662185463226 Mul sqrt Add -1 x0 5 
Mul Add Mul Mul sqrt Add -1 x0 5 0.283662185463226 Mul Mul x0 0.283662185463226 Mul 5 Pow Mul 2 sqrt Add -1 x0 -1 Pow Mul sqrt Add Mul Mul x0 0.283662185463226 Mul sqrt Add -1 x0 5 -1 sqrt Add 1 Mul Mul x0 0.283662185463226 Mul sqrt Add -1 x0 5 -1 