Mul Pow Mul cosh x1 Mul x2 Mul x4 Mul -5 exp x0 tan Mul log x0 -1 Pow atan x3 -1 
Mul Pow atan x3 -1 Mul Pow Mul cosh x1 Mul x2 Mul x4 Mul -5 exp x0 Add tan Mul log x0 -1 -1 Add Mul tan Mul log x0 -1 Mul cosh x1 Mul x2 Mul x4 Mul -5 exp x0 Mul Mul Mul cosh x1 Mul x2 Mul x4 Mul -5 exp x0 log Mul cosh x1 Mul x2 Mul x4 Mul -5 exp x0 Mul Pow sec Mul log x0 -1 2 Mul -1 Pow x0 -1 