Mul Pow x0 x0 Pow sin Mul acoth x0 E acosh Add x0 x0 
Add Mul Pow sin Mul acoth x0 E acosh Add x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul Pow sin Mul acoth x0 E Add acosh Add x0 x0 -1 Add Mul acosh Add x0 x0 Mul cos Mul acoth x0 E Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sin Mul acoth x0 E log sin Mul acoth x0 E Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 