cot Mul Mul -2 acoth Add Pow x2 sqrt x0 -2 -1 
Mul Mul -1 Pow csc Mul Mul -2 acoth Add Pow x2 sqrt x0 -2 -1 2 Mul -1 Mul -2 Mul Mul Pow x2 Add sqrt x0 -1 Mul Mul x2 log x2 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Add Pow x2 sqrt x0 -2 Add Pow x2 sqrt x0 -2 -1 