Mul atan Pow Add E x0 Mul Mul x2 x0 acoth x3 Add x0 x0 
Add Mul Add x0 x0 Mul Mul Pow Add E x0 Add Mul Mul x2 x0 acoth x3 -1 Add Mul Mul x2 x0 acoth x3 Mul Mul Add E x0 log Add E x0 Mul acoth x3 x2 Pow Add 1 Mul Pow Add E x0 Mul Mul x2 x0 acoth x3 Pow Add E x0 Mul Mul x2 x0 acoth x3 -1 Mul atan Pow Add E x0 Mul Mul x2 x0 acoth x3 2 