Mul Pow x1 x0 sqrt Pow acoth x0 Pow 5 E 
Add Mul sqrt Pow acoth x0 Pow 5 E Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow x1 x0 Mul Pow Mul 2 sqrt Pow acoth x0 Pow 5 E -1 Mul Pow acoth x0 Add Pow 5 E -1 Mul Pow 5 E Pow Add 1 Mul -1 Mul x0 x0 -1 