Mul Add coth cosh x0 Add Pow Mul x0 sqrt x7 Add x0 x0 log x0 4 
Mul 4 Add Mul Mul -1 Pow csch cosh x0 2 sinh x0 Add Mul Pow Mul x0 sqrt x7 Add Add x0 x0 -1 Add Mul Add x0 x0 sqrt x7 Mul Mul Mul x0 sqrt x7 log Mul x0 sqrt x7 2 Pow x0 -1 