Pow x0 Add Pow cos E acot Pow x0 acoth x2 x5 
Mul Pow x0 Add Add Pow cos E acot Pow x0 acoth x2 x5 -1 Add Add Pow cos E acot Pow x0 acoth x2 x5 Mul Mul x0 log x0 Mul Pow cos E Add acot Pow x0 acoth x2 -1 Mul Mul cos E log cos E Mul -1 Mul Mul Pow x0 Add acoth x2 -1 acoth x2 Pow Add 1 Mul Pow x0 acoth x2 Pow x0 acoth x2 -1 