Pow x2 Pow Mul x0 Add Add x0 Mul acoth Add x4 acot Mul Add x5 sech x1 pi Add x0 -4 x2 x1 
Mul Pow x2 Add Pow Mul x0 Add Add x0 Mul acoth Add x4 acot Mul Add x5 sech x1 pi Add x0 -4 x2 x1 -1 Mul Mul x2 log x2 Mul Pow Mul x0 Add Add x0 Mul acoth Add x4 acot Mul Add x5 sech x1 pi Add x0 -4 x2 Add x1 -1 Mul x1 Add Add Add x0 Mul acoth Add x4 acot Mul Add x5 sech x1 pi Add x0 -4 x2 Mul x0 Add 1 acoth Add x4 acot Mul Add x5 sech x1 pi 