Mul Add x3 x0 sech Pow tan Mul pi Mul x0 sqrt Pow x3 acoth x0 -2 
Add sech Pow tan Mul pi Mul x0 sqrt Pow x3 acoth x0 -2 Mul Add x3 x0 Mul Mul tanh Pow tan Mul pi Mul x0 sqrt Pow x3 acoth x0 -2 Mul -1 sech Pow tan Mul pi Mul x0 sqrt Pow x3 acoth x0 -2 Mul Pow tan Mul pi Mul x0 sqrt Pow x3 acoth x0 3 Mul -2 Mul Pow sec Mul pi Mul x0 sqrt Pow x3 acoth x0 2 Mul pi Add sqrt Pow x3 acoth x0 Mul x0 Mul Pow Mul 2 sqrt Pow x3 acoth x0 -1 Mul Pow x3 Add acoth x0 -1 Mul Mul x3 log x3 Pow Add 1 Mul -1 Mul x0 x0 -1 