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