Add Mul Add Mul Add sqrt x0 Pow pi x0 sinh x7 Add Pow coth x0 x0 1 -1 atan coth x4 
Mul -1 Add Mul sinh x7 Add Pow Mul 2 sqrt x0 -1 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 