Mul x0 Add Pow acosh x1 Pow Add x1 4 x0 x0 
Add Add Pow acosh x1 Pow Add x1 4 x0 x0 Mul x0 Add Mul Pow acosh x1 Add Pow Add x1 4 x0 -1 Mul Mul acosh x1 log acosh x1 Mul Pow Add x1 4 Add x0 -1 Mul Add x1 4 log Add x1 4 1 