Add Mul E exp Add x0 x7 acot Mul Pow pi sinh x0 5 
Add Mul E exp Add x0 x7 Mul -1 Mul Mul 5 Mul Pow pi Add sinh x0 -1 Mul Mul pi log pi cosh x0 Pow Add 1 Mul Mul Pow pi sinh x0 5 Mul Pow pi sinh x0 5 -1 