Pow Add acosh Pow x0 Mul cosh atanh x4 x5 x0 1024 
Mul Pow Add acosh Pow x0 Mul cosh atanh x4 x5 x0 1023 Mul 1024 Add Mul Mul Pow x0 Add Mul cosh atanh x4 x5 -1 Mul cosh atanh x4 x5 Pow Mul sqrt Add Pow x0 Mul cosh atanh x4 x5 -1 sqrt Add 1 Pow x0 Mul cosh atanh x4 x5 -1 1 