Add acot Add x5 Mul x1 Mul Add -4 x0 Pow cosh x0 Mul x0 pi Add 2 Pow x0 E 
Add Mul -1 Mul Mul x1 Add Pow cosh x0 Mul x0 pi Mul Add -4 x0 Mul Pow cosh x0 Add Mul x0 pi -1 Add Mul Mul x0 pi sinh x0 Mul Mul cosh x0 log cosh x0 pi Pow Add 1 Mul Add x5 Mul x1 Mul Add -4 x0 Pow cosh x0 Mul x0 pi Add x5 Mul x1 Mul Add -4 x0 Pow cosh x0 Mul x0 pi -1 Mul Pow x0 Add E -1 E 