sech Mul exp Pow x4 x0 Mul x0 acoth Pow Add atanh pi 3 pi 
Mul Mul tanh Mul exp Pow x4 x0 Mul x0 acoth Pow Add atanh pi 3 pi Mul -1 sech Mul exp Pow x4 x0 Mul x0 acoth Pow Add atanh pi 3 pi Add Mul Mul x0 acoth Pow Add atanh pi 3 pi Mul exp Pow x4 x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul exp Pow x4 x0 acoth Pow Add atanh pi 3 pi 