Add Mul Pow Pow acosh x1 Add acos x0 5 x0 x0 x0 
Add Add Mul x0 Mul Pow Pow acosh x1 Add acos x0 5 Add x0 -1 Add Mul x0 Mul Pow acosh x1 Add Add acos x0 5 -1 Mul Mul acosh x1 log acosh x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acosh x1 Add acos x0 5 log Pow acosh x1 Add acos x0 5 Pow Pow acosh x1 Add acos x0 5 x0 1 