Pow Pow Pow Mul Add x0 pi -2 Pow Add -1 pi Add -3 Pow E E cosh x4 acoth x0 
Mul Pow Pow Pow Mul Add x0 pi -2 Pow Add -1 pi Add -3 Pow E E cosh x4 Add acoth x0 -1 Add Mul acoth x0 Mul Pow Pow Mul Add x0 pi -2 Pow Add -1 pi Add -3 Pow E E Add cosh x4 -1 Mul cosh x4 Mul Pow Mul Add x0 pi -2 Add Pow Add -1 pi Add -3 Pow E E -1 Mul Pow Add -1 pi Add -3 Pow E E -2 Mul Mul Pow Pow Mul Add x0 pi -2 Pow Add -1 pi Add -3 Pow E E cosh x4 log Pow Pow Mul Add x0 pi -2 Pow Add -1 pi Add -3 Pow E E cosh x4 Pow Add 1 Mul -1 Mul x0 x0 -1 