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