Pow Pow x1 -2 acoth Add acos asec Pow Mul x0 x0 x6 2 
Mul Pow Pow x1 -2 Add acoth Add acos asec Pow Mul x0 x0 x6 2 -1 Mul Mul Pow x1 -2 log Pow x1 -2 Mul Mul -1 Mul Mul Mul Pow Mul x0 x0 Add x6 -1 Mul x6 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 x0 x6 Pow Mul x0 x0 x6 -1 Pow Mul x0 x0 x6 Pow Mul x0 x0 x6 -1 Pow sqrt Add 1 Mul -1 Mul asec Pow Mul x0 x0 x6 asec Pow Mul x0 x0 x6 -1 Pow Add 1 Mul -1 Mul Add acos asec Pow Mul x0 x0 x6 2 Add acos asec Pow Mul x0 x0 x6 2 -1 