log Add Pow Mul x0 coth x0 -4 Add -5 Mul x0 Add sqrt sec tanh x0 Pow acosh x0 x7 
Mul Add Mul Pow Mul x0 coth x0 5 Mul -4 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 Add Add sqrt sec tanh x0 Pow acosh x0 x7 Mul x0 Add Mul Pow Mul 2 sqrt sec tanh x0 -1 Mul Mul tan tanh x0 sec tanh x0 Pow sech x0 2 Mul Pow acosh x0 Add x7 -1 Mul x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add Pow Mul x0 coth x0 -4 Add -5 Mul x0 Add sqrt sec tanh x0 Pow acosh x0 x7 -1 