Mul x0 Mul Add Mul acosh Mul x1 x0 Mul Add x0 0.865769483239659 x0 -1 -2 
Add Mul Add Mul acosh Mul x1 x0 Mul Add x0 0.865769483239659 x0 -1 -2 Mul x0 Mul -2 Add Mul Mul Add x0 0.865769483239659 x0 Mul x1 Pow Mul sqrt Add Mul x1 x0 -1 sqrt Add 1 Mul x1 x0 -1 Mul acosh Mul x1 x0 Add x0 Add x0 0.865769483239659 