coth Pow sqrt Add x2 x0 Pow Pow cot x3 x0 x0 
Mul Mul -1 Pow csch Pow sqrt Add x2 x0 Pow Pow cot x3 x0 x0 2 Mul Pow sqrt Add x2 x0 Add Pow Pow cot x3 x0 x0 -1 Add Mul Pow Pow cot x3 x0 x0 Pow Mul 2 sqrt Add x2 x0 -1 Mul Mul sqrt Add x2 x0 log sqrt Add x2 x0 Mul Pow Pow cot x3 x0 Add x0 -1 Add Mul x0 Mul Pow cot x3 Add x0 -1 Mul cot x3 log cot x3 Mul Pow cot x3 x0 log Pow cot x3 x0 