sqrt Pow acsc x5 asec Mul Pow acoth x1 x0 -4 
Mul Pow Mul 2 sqrt Pow acsc x5 asec Mul Pow acoth x1 x0 -4 -1 Mul Pow acsc x5 Add asec Mul Pow acoth x1 x0 -4 -1 Mul Mul acsc x5 log acsc x5 Mul Mul -4 Mul Pow acoth x1 Add x0 -1 Mul acoth x1 log acoth x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow acoth x1 x0 -4 Mul Pow acoth x1 x0 -4 -1 Mul Pow acoth x1 x0 -4 Mul Pow acoth x1 x0 -4 -1 