Mul acot Mul cosh x0 cosh x0 Add Pow x3 Add 2 Mul x1 x5 exp x0 
Add Mul Add Pow x3 Add 2 Mul x1 x5 exp x0 Mul -1 Mul Add Mul cosh x0 sinh x0 Mul cosh x0 sinh x0 Pow Add 1 Mul Mul cosh x0 cosh x0 Mul cosh x0 cosh x0 -1 Mul acot Mul cosh x0 cosh x0 exp x0 