Add Add Add x0 Pow Mul cosh tan Pow x1 4 x0 Mul 5 x0 Mul x0 2 x0 
Add Add Add 1 Mul Pow Mul cosh tan Pow x1 4 x0 Add Mul 5 x0 -1 Add Mul Mul 5 x0 cosh tan Pow x1 4 Mul Mul Mul cosh tan Pow x1 4 x0 log Mul cosh tan Pow x1 4 x0 5 2 1 