Add exp x0 Pow pi asec acoth Pow E x0 
Add exp x0 Mul Pow pi Add asec acoth Pow E x0 -1 Mul Mul pi log pi 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 Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth Pow E x0 acoth Pow E x0 -1 acoth Pow E x0 acoth Pow E x0 -1 