coth Add Mul Mul x0 x0 tanh Pow coth Pow acos x2 -1 x0 pi 
Mul Mul -1 Pow csch Add Mul Mul x0 x0 tanh Pow coth Pow acos x2 -1 x0 pi 2 Add Mul tanh Pow coth Pow acos x2 -1 x0 Add x0 x0 Mul Mul x0 x0 Mul Pow sech Pow coth Pow acos x2 -1 x0 2 Mul Pow coth Pow acos x2 -1 Add x0 -1 Mul coth Pow acos x2 -1 log coth Pow acos x2 -1 