Add Mul Mul Mul Pow x0 -3 Mul Pow coth x0 Add sqrt x0 x0 4 3 4 Pow Mul tanh acot x5 x0 x1 
Add Mul 4 Mul 3 Add Mul Mul Pow coth x0 Add sqrt x0 x0 4 Mul Pow x0 4 -3 Mul Pow x0 -3 Mul 4 Mul Pow coth x0 Add Add sqrt x0 x0 -1 Add Mul Add sqrt x0 x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Add Pow Mul 2 sqrt x0 -1 1 Mul Pow Mul tanh acot x5 x0 Add x1 -1 Mul x1 tanh acot x5 