Mul Pow sech Add x5 pi 5 Pow Pow Mul Pow Mul x1 Mul acot Mul x0 x1 pi Mul E 4 x0 x0 x2 
Mul Pow sech Add x5 pi 5 Mul Pow Pow Mul Pow Mul x1 Mul acot Mul x0 x1 pi Mul E 4 x0 x0 Add x2 -1 Mul x2 Mul Pow Mul Pow Mul x1 Mul acot Mul x0 x1 pi Mul E 4 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow Mul x1 Mul acot Mul x0 x1 pi Add Mul E 4 -1 Mul Mul E 4 Mul x1 Mul pi Mul -1 Mul x1 Pow Add 1 Mul Mul x0 x1 Mul x0 x1 -1 Pow Mul x1 Mul acot Mul x0 x1 pi Mul E 4 Mul Mul Pow Mul x1 Mul acot Mul x0 x1 pi Mul E 4 x0 log Mul Pow Mul x1 Mul acot Mul x0 x1 pi Mul E 4 x0 