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