sqrt atanh Add Add acos x0 cot Mul 2 x2 asec x3 
Mul Pow Mul 2 sqrt atanh Add Add acos x0 cot Mul 2 x2 asec x3 -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add Add acos x0 cot Mul 2 x2 asec x3 Add Add acos x0 cot Mul 2 x2 asec x3 -1 