Pow Pow x3 x0 Mul Pow Mul atan x6 x0 cosh x1 -5 
Mul Pow Pow x3 x0 Add Mul Pow Mul atan x6 x0 cosh x1 -5 -1 Add Mul Mul Pow Mul atan x6 x0 cosh x1 -5 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Pow x3 x0 log Pow x3 x0 Mul -5 Mul Pow Mul atan x6 x0 Add cosh x1 -1 Mul cosh x1 atan x6 