acot Mul x0 Pow Mul x0 Add x0 exp sech Pow Mul Add x0 x0 x0 cosh pi -4 
Mul -1 Mul Add Pow Mul x0 Add x0 exp sech Pow Mul Add x0 x0 x0 cosh pi -4 Mul x0 Mul Pow Mul x0 Add x0 exp sech Pow Mul Add x0 x0 x0 cosh pi 5 Mul -4 Add Add x0 exp sech Pow Mul Add x0 x0 x0 cosh pi Mul x0 Add 1 Mul exp sech Pow Mul Add x0 x0 x0 cosh pi Mul Mul tanh Pow Mul Add x0 x0 x0 cosh pi Mul -1 sech Pow Mul Add x0 x0 x0 cosh pi Mul Pow Mul Add x0 x0 x0 Add cosh pi -1 Mul cosh pi Add Mul x0 2 Add x0 x0 Pow Add 1 Mul Mul x0 Pow Mul x0 Add x0 exp sech Pow Mul Add x0 x0 x0 cosh pi -4 Mul x0 Pow Mul x0 Add x0 exp sech Pow Mul Add x0 x0 x0 cosh pi -4 -1 