Mul Pow acot asech Pow Add x6 -2 -5 Add sech x1 atanh Pow Mul x2 x0 Add x0 pi 3 
Mul 3 Mul Pow acot asech Pow Add x6 -2 -5 Add Add sech x1 atanh Pow Mul x2 x0 Add x0 pi -1 Mul Mul acot asech Pow Add x6 -2 -5 log acot asech Pow Add x6 -2 -5 Mul Mul Pow Mul x2 x0 Add Add x0 pi -1 Add Mul Add x0 pi x2 Mul Mul x2 x0 log Mul x2 x0 Pow Add 1 Mul -1 Mul Pow Mul x2 x0 Add x0 pi Pow Mul x2 x0 Add x0 pi -1 