acoth Mul Add -2 atan x6 atan Add asin x0 1.44363547517881 
Mul Mul Add -2 atan x6 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add asin x0 1.44363547517881 Add asin x0 1.44363547517881 -1 Pow Add 1 Mul -1 Mul Mul Add -2 atan x6 atan Add asin x0 1.44363547517881 Mul Add -2 atan x6 atan Add asin x0 1.44363547517881 -1 