Pow x0 Add Mul -1 cosh x0 Add x7 Mul 5 cos Pow acot sinh x7 x0 
Mul Pow x0 Add Add Mul -1 cosh x0 Add x7 Mul 5 cos Pow acot sinh x7 x0 -1 Add Add Mul -1 cosh x0 Add x7 Mul 5 cos Pow acot sinh x7 x0 Mul Mul x0 log x0 Add Mul -1 sinh x0 Mul 5 Mul Mul -1 sin Pow acot sinh x7 x0 Mul Pow acot sinh x7 Add x0 -1 Mul acot sinh x7 log acot sinh x7 