Add Mul x0 Mul Add acot Add -4 cosh x0 x0 x0 x0 
Add Add Mul Add acot Add -4 cosh x0 x0 x0 Mul x0 Add Mul x0 Add Mul -1 Mul sinh x0 Pow Add 1 Mul Add -4 cosh x0 Add -4 cosh x0 -1 1 Add acot Add -4 cosh x0 x0 1 