Mul exp Pow x4 Mul acoth x0 Pow E Mul Add x0 asec pi -1 x7 
Mul x7 Mul exp Pow x4 Mul acoth x0 Pow E Mul Add x0 asec pi -1 Mul Pow x4 Add Mul acoth x0 Pow E Mul Add x0 asec pi -1 -1 Mul Mul x4 log x4 Add Mul Pow E Mul Add x0 asec pi -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow E Add Mul Add x0 asec pi -1 -1 Mul Mul E log E -1 