sinh Pow sinh Pow acot x3 x0 Add Mul x4 -4 coth x0 
Mul cosh Pow sinh Pow acot x3 x0 Add Mul x4 -4 coth x0 Mul Pow sinh Pow acot x3 x0 Add Add Mul x4 -4 coth x0 -1 Add Mul Add Mul x4 -4 coth x0 Mul cosh Pow acot x3 x0 Mul Pow acot x3 Add x0 -1 Mul acot x3 log acot x3 Mul Mul sinh Pow acot x3 x0 log sinh Pow acot x3 x0 Mul -1 Pow csch x0 2 