Mul Mul Pow acot Pow x0 Add acos x0 x0 sec atanh Mul x0 -3 sqrt Pow x0 pi Pow x0 x0 
Add Mul Pow x0 x0 Add Mul sqrt Pow x0 pi Mul Pow acot Pow x0 Add acos x0 x0 Add sec atanh Mul x0 -3 -1 Add Mul sec atanh Mul x0 -3 Mul -1 Mul Mul Pow x0 Add Add acos x0 x0 -1 Add Add acos x0 x0 Mul Mul x0 log x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul Pow x0 Add acos x0 x0 Pow x0 Add acos x0 x0 -1 Mul Mul acot Pow x0 Add acos x0 x0 log acot Pow x0 Add acos x0 x0 Mul Mul tan atanh Mul x0 -3 sec atanh Mul x0 -3 Mul -3 Pow Add 1 Mul -1 Mul Mul x0 -3 Mul x0 -3 -1 Mul Pow acot Pow x0 Add acos x0 x0 sec atanh Mul x0 -3 Mul Pow Mul 2 sqrt Pow x0 pi -1 Mul Pow x0 Add pi -1 pi Mul Mul Pow acot Pow x0 Add acos x0 x0 sec atanh Mul x0 -3 sqrt Pow x0 pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 