atan Add Pow tanh x0 Add Add x0 Mul 5 x0 x0 Mul x3 tanh acsch Pow 2 coth x3 
Mul Mul Pow tanh x0 Add Add Add x0 Mul 5 x0 x0 -1 Add Mul Add Add x0 Mul 5 x0 x0 Pow sech x0 2 Mul Mul tanh x0 log tanh x0 7 Pow Add 1 Mul Add Pow tanh x0 Add Add x0 Mul 5 x0 x0 Mul x3 tanh acsch Pow 2 coth x3 Add Pow tanh x0 Add Add x0 Mul 5 x0 x0 Mul x3 tanh acsch Pow 2 coth x3 -1 