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