Add Mul Pow pi Pow Pow x0 x0 x0 asech Pow x0 Mul acot Pow Add x0 4 3 asech Mul x0 pi x0 
Add Add Mul asech Pow x0 Mul acot Pow Add x0 4 3 asech Mul x0 pi Mul Pow pi Add Pow Pow x0 x0 x0 -1 Mul Mul pi log pi Mul Pow Pow x0 x0 Add x0 -1 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 log Pow x0 x0 Mul Pow pi Pow Pow x0 x0 x0 Mul Mul Pow x0 Add Mul acot Pow Add x0 4 3 asech Mul x0 pi -1 Add Mul acot Pow Add x0 4 3 asech Mul x0 pi Mul Mul x0 log x0 Add Mul asech Mul x0 pi Mul -1 Mul Mul Pow Add x0 4 2 3 Pow Add 1 Mul Pow Add x0 4 3 Pow Add x0 4 3 -1 Mul acot Pow Add x0 4 3 Mul pi Pow Mul Mul Mul x0 pi Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Mul x0 pi Mul x0 pi -1 -1 Pow Mul Mul Pow x0 Mul acot Pow Add x0 4 3 asech Mul x0 pi Pow x0 Mul acot Pow Add x0 4 3 asech Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Pow x0 Mul acot Pow Add x0 4 3 asech Mul x0 pi Pow x0 Mul acot Pow Add x0 4 3 asech Mul x0 pi -1 -1 1 