Pow asech Add acot x0 -3 Pow atanh Add acot x0 x0 Mul sech acot x5 Mul x0 pi 
Mul Pow asech Add acot x0 -3 Add Pow atanh Add acot x0 x0 Mul sech acot x5 Mul x0 pi -1 Add Mul Pow atanh Add acot x0 x0 Mul sech acot x5 Mul x0 pi Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add acot x0 -3 Add acot x0 -3 sqrt Add 1 Mul -1 Pow Mul Add acot x0 -3 Add acot x0 -3 -1 -1 Mul Mul asech Add acot x0 -3 log asech Add acot x0 -3 Mul Pow atanh Add acot x0 x0 Add Mul sech acot x5 Mul x0 pi -1 Add Mul Mul sech acot x5 Mul x0 pi Mul Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add acot x0 x0 Add acot x0 x0 -1 Mul Mul atanh Add acot x0 x0 log atanh Add acot x0 x0 Mul sech acot x5 pi 