Mul x0 Mul Add x0 Pow x0 acos acosh x4 exp x0 
Add Mul Add x0 Pow x0 acos acosh x4 exp x0 Mul x0 Add Mul exp x0 Add 1 Mul Pow x0 Add acos acosh x4 -1 acos acosh x4 Mul Add x0 Pow x0 acos acosh x4 exp x0 