Pow x0 Add Add Mul x0 x2 x0 cosh Mul -2 Mul 5 Mul x5 x3 
Mul Pow x0 Add Add Add Mul x0 x2 x0 cosh Mul -2 Mul 5 Mul x5 x3 -1 Add Add Add Mul x0 x2 x0 cosh Mul -2 Mul 5 Mul x5 x3 Mul Mul x0 log x0 Add x2 1 