Mul Add asech x0 Pow Pow Mul x0 Add Add Add x0 acos x0 x0 Pow Mul x0 E 0.857553215846393 -2 x3 Pow x0 x0 
Add Mul Pow x0 x0 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Pow Mul x0 Add Add Add x0 acos x0 x0 Pow Mul x0 E 0.857553215846393 -2 Add x3 -1 Mul x3 Mul Pow Mul x0 Add Add Add x0 acos x0 x0 Pow Mul x0 E 0.857553215846393 3 Mul -2 Add Add Add Add x0 acos x0 x0 Pow Mul x0 E 0.857553215846393 Mul x0 Add Add Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Pow Mul x0 E -0.142446784153607 Mul 0.857553215846393 E Mul Add asech x0 Pow Pow Mul x0 Add Add Add x0 acos x0 x0 Pow Mul x0 E 0.857553215846393 -2 x3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 