Mul Pow Add acosh x5 Add Mul sqrt E 4 Mul x0 x0 Mul acos x4 x4 x0 
Add Mul x0 Mul Pow Add acosh x5 Add Mul sqrt E 4 Mul x0 x0 Add Mul acos x4 x4 -1 Mul Mul acos x4 x4 Add x0 x0 Pow Add acosh x5 Add Mul sqrt E 4 Mul x0 x0 Mul acos x4 x4 