Add x0 Mul Pow Add x0 x2 Mul x5 2 Pow x0 acosh atanh x7 
Add 1 Add Mul Pow x0 acosh atanh x7 Mul Pow Add x0 x2 Add Mul x5 2 -1 Mul x5 2 Mul Pow Add x0 x2 Mul x5 2 Mul Pow x0 Add acosh atanh x7 -1 acosh atanh x7 