Pow E Add cosh E Mul pi Pow acot exp Mul -5 x0 3125 
Mul Pow E Add Add cosh E Mul pi Pow acot exp Mul -5 x0 3125 -1 Mul Mul E log E Mul pi Mul Pow acot exp Mul -5 x0 3124 Mul 3125 Mul -1 Mul Mul exp Mul -5 x0 -5 Pow Add 1 Mul exp Mul -5 x0 exp Mul -5 x0 -1 