Pow atanh acoth Pow E x0 Add x0 exp acos x7 
Mul Pow atanh acoth Pow E x0 Add Add x0 exp acos x7 -1 Add Mul Add x0 exp acos x7 Mul Mul Mul Pow E Add x0 -1 Mul E log E Pow Add 1 Mul -1 Mul Pow E x0 Pow E x0 -1 Pow Add 1 Mul -1 Mul acoth Pow E x0 acoth Pow E x0 -1 Mul atanh acoth Pow E x0 log atanh acoth Pow E x0 