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