Pow acoth Mul x0 tanh acoth pi x0 
Mul Pow acoth Mul x0 tanh acoth pi Add x0 -1 Add Mul x0 Mul tanh acoth pi Pow Add 1 Mul -1 Mul Mul x0 tanh acoth pi Mul x0 tanh acoth pi -1 Mul acoth Mul x0 tanh acoth pi log acoth Mul x0 tanh acoth pi 