Mul Add x0 x0 Pow sqrt acoth x0 Add Add pi -3 Mul sinh Add -4 x0 Add x7 pi 
Add Mul Pow sqrt acoth x0 Add Add pi -3 Mul sinh Add -4 x0 Add x7 pi 2 Mul Add x0 x0 Mul Pow sqrt acoth x0 Add Add Add pi -3 Mul sinh Add -4 x0 Add x7 pi -1 Add Mul Add Add pi -3 Mul sinh Add -4 x0 Add x7 pi Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sqrt acoth x0 log sqrt acoth x0 Mul Add x7 pi cosh Add -4 x0 