Mul coth x3 Mul tanh Pow acot x4 acoth x0 sqrt atanh pi 
Mul coth x3 Mul sqrt atanh pi Mul Pow sech Pow acot x4 acoth x0 2 Mul Pow acot x4 Add acoth x0 -1 Mul Mul acot x4 log acot x4 Pow Add 1 Mul -1 Mul x0 x0 -1 