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