Mul sinh Pow x0 Pow Add 2 Mul acot x0 -2 log Add -5 x2 -4 
Mul -4 Mul cosh Pow x0 Pow Add 2 Mul acot x0 -2 log Add -5 x2 Mul Pow x0 Add Pow Add 2 Mul acot x0 -2 log Add -5 x2 -1 Add Pow Add 2 Mul acot x0 -2 log Add -5 x2 Mul Mul x0 log x0 Mul Pow Add 2 Mul acot x0 -2 Add log Add -5 x2 -1 Mul log Add -5 x2 Mul -2 Mul -1 Pow Add 1 Mul x0 x0 -1 