Pow acoth x6 Pow acsc log x6 Mul x0 sqrt x0 
Mul Pow acoth x6 Add Pow acsc log x6 Mul x0 sqrt x0 -1 Mul Mul acoth x6 log acoth x6 Mul Pow acsc log x6 Add Mul x0 sqrt x0 -1 Mul Mul acsc log x6 log acsc log x6 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 