Pow Add sec acos x3 Mul Pow sqrt Mul Add Mul x0 pi x0 x0 Pow acot Mul atanh x6 x3 5 5 x0 
Mul Pow Add sec acos x3 Mul Pow sqrt Mul Add Mul x0 pi x0 x0 Pow acot Mul atanh x6 x3 5 5 Add x0 -1 Add Mul x0 Mul 5 Mul Pow sqrt Mul Add Mul x0 pi x0 x0 Add Pow acot Mul atanh x6 x3 5 -1 Mul Pow acot Mul atanh x6 x3 5 Mul Pow Mul 2 sqrt Mul Add Mul x0 pi x0 x0 -1 Add Mul x0 Add pi 1 Add Mul x0 pi x0 Mul Add sec acos x3 Mul Pow sqrt Mul Add Mul x0 pi x0 x0 Pow acot Mul atanh x6 x3 5 5 log Add sec acos x3 Mul Pow sqrt Mul Add Mul x0 pi x0 x0 Pow acot Mul atanh x6 x3 5 5 