Pow x0 Add -3 Add Add Mul 3 Pow sqrt sin acoth x0 Add x0 2 coth x1 2 
Mul Pow x0 Add Add -3 Add Add Mul 3 Pow sqrt sin acoth x0 Add x0 2 coth x1 2 -1 Add Add -3 Add Add Mul 3 Pow sqrt sin acoth x0 Add x0 2 coth x1 2 Mul Mul x0 log x0 Mul 3 Mul Pow sqrt sin acoth x0 Add Add x0 2 -1 Add Mul Add x0 2 Mul Pow Mul 2 sqrt sin acoth x0 -1 Mul cos acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sqrt sin acoth x0 log sqrt sin acoth x0 