Pow Mul acot Mul acos asinh sech pi x0 E Pow Add x0 Mul x0 Mul pi x0 x0 
Mul Pow Mul acot Mul acos asinh sech pi x0 E Add Pow Add x0 Mul x0 Mul pi x0 x0 -1 Add Mul Pow Add x0 Mul x0 Mul pi x0 x0 Mul E Mul -1 Mul acos asinh sech pi Pow Add 1 Mul Mul acos asinh sech pi x0 Mul acos asinh sech pi x0 -1 Mul Mul Mul acot Mul acos asinh sech pi x0 E log Mul acot Mul acos asinh sech pi x0 E Mul Pow Add x0 Mul x0 Mul pi x0 Add x0 -1 Add Mul x0 Add 1 Add Mul pi x0 Mul x0 pi Mul Add x0 Mul x0 Mul pi x0 log Add x0 Mul x0 Mul pi x0 