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