Add Mul x0 Pow x0 Add acosh x7 7 Pow x2 Add cos x0 atan x0 
Add Add Pow x0 Add acosh x7 7 Mul x0 Mul Pow x0 Add Add acosh x7 7 -1 Add acosh x7 7 Mul Pow x2 Add Add cos x0 atan x0 -1 Mul Mul x2 log x2 Add Mul -1 sin x0 Pow Add 1 Mul x0 x0 -1 