Mul x0 acoth log Pow x2 Mul acoth E x0 
Add acoth log Pow x2 Mul acoth E x0 Mul x0 Mul Mul Mul Pow x2 Add Mul acoth E x0 -1 Mul Mul x2 log x2 acoth E Pow Pow x2 Mul acoth E x0 -1 Pow Add 1 Mul -1 Mul log Pow x2 Mul acoth E x0 log Pow x2 Mul acoth E x0 -1 