Mul x0 Add x0 Pow Add Add atan x0 x0 Pow acosh x7 x0 -4 
Add Add x0 Pow Add Add atan x0 x0 Pow acosh x7 x0 -4 Mul x0 Add 1 Mul Pow Add Add atan x0 x0 Pow acosh x7 x0 5 Mul -4 Add Add Pow Add 1 Mul x0 x0 -1 1 Mul Pow acosh x7 Add x0 -1 Mul acosh x7 log acosh x7 