Mul x0 Mul Add Add x0 Mul x0 exp x6 acos sqrt x0 acosh x7 
Add Mul Add Add x0 Mul x0 exp x6 acos sqrt x0 acosh x7 Mul x0 Mul acosh x7 Add Add 1 exp x6 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 