Add Add x7 acsch Add x0 2 Mul acos x0 Pow Mul x0 x0 1.04719755119660 
Add Mul -1 Pow Mul Mul Add x0 2 Add x0 2 sqrt Add 1 Mul -1 Pow Mul Add x0 2 Add x0 2 -1 -1 Add Mul Pow Mul x0 x0 1.04719755119660 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow Mul x0 x0 0.0471975511965979 Mul 1.04719755119660 Add x0 x0 