acoth Mul Mul x0 acos x0 Mul Add x0 x4 1.94403036075851 
Mul Add Mul Mul Add x0 x4 1.94403036075851 Add acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 acos x0 1.94403036075851 Pow Add 1 Mul -1 Mul Mul Mul x0 acos x0 Mul Add x0 x4 1.94403036075851 Mul Mul x0 acos x0 Mul Add x0 x4 1.94403036075851 -1 