Pow Add 1 Pow Add Add 3 acoth Pow E Pow x1 -2 acos x4 x0 acoth x7 
Mul Pow Add 1 Pow Add Add 3 acoth Pow E Pow x1 -2 acos x4 x0 Add acoth x7 -1 Mul acoth x7 Mul Pow Add Add 3 acoth Pow E Pow x1 -2 acos x4 Add x0 -1 Mul Add Add 3 acoth Pow E Pow x1 -2 acos x4 log Add Add 3 acoth Pow E Pow x1 -2 acos x4 