Mul Add Add x0 Pow Mul pi x5 Mul coth x0 Add Mul -5 x0 sqrt x0 Add x0 Pow acosh x4 Mul 2 x0 7 
Mul 7 Add Add 1 Mul Pow Mul pi x5 Add Mul coth x0 Add Mul -5 x0 sqrt x0 -1 Mul Mul Mul pi x5 log Mul pi x5 Add Mul Add Mul -5 x0 sqrt x0 Mul -1 Pow csch x0 2 Mul coth x0 Add -5 Pow Mul 2 sqrt x0 -1 Add 1 Mul Pow acosh x4 Add Mul 2 x0 -1 Mul Mul acosh x4 log acosh x4 2 