coth Add Mul pi Pow pi atan Mul asinh sinh Mul coth x0 x0 x0 -3 
Mul Mul -1 Pow csch Add Mul pi Pow pi atan Mul asinh sinh Mul coth x0 x0 x0 -3 2 Mul pi Mul Pow pi Add atan Mul asinh sinh Mul coth x0 x0 x0 -1 Mul Mul pi log pi Mul Add Mul x0 Mul Mul cosh Mul coth x0 x0 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 Pow sqrt Add 1 Mul sinh Mul coth x0 x0 sinh Mul coth x0 x0 -1 asinh sinh Mul coth x0 x0 Pow Add 1 Mul Mul asinh sinh Mul coth x0 x0 x0 Mul asinh sinh Mul coth x0 x0 x0 -1 