Add acot coth coth x5 Add pi Add Mul cos Pow x0 Add sinh x0 x5 Pow pi 2 x0 
Add Mul Pow pi 2 Mul Mul -1 sin Pow x0 Add sinh x0 x5 Mul Pow x0 Add Add sinh x0 x5 -1 Add Add sinh x0 x5 Mul Mul x0 log x0 cosh x0 1 