Pow x0 atan Add 5 sqrt Pow acsch acoth x6 log x0 
Mul Pow x0 Add atan Add 5 sqrt Pow acsch acoth x6 log x0 -1 Add atan Add 5 sqrt Pow acsch acoth x6 log x0 Mul Mul x0 log x0 Mul Mul Pow Mul 2 sqrt Pow acsch acoth x6 log x0 -1 Mul Pow acsch acoth x6 Add log x0 -1 Mul Mul acsch acoth x6 log acsch acoth x6 Pow x0 -1 Pow Add 1 Mul Add 5 sqrt Pow acsch acoth x6 log x0 Add 5 sqrt Pow acsch acoth x6 log x0 -1 