Mul x0 Pow Pow acosh Mul x0 x0 2 Add atanh x6 Add x7 x0 
Add Pow Pow acosh Mul x0 x0 2 Add atanh x6 Add x7 x0 Mul x0 Mul Pow Pow acosh Mul x0 x0 2 Add Add atanh x6 Add x7 x0 -1 Add Mul Add atanh x6 Add x7 x0 Mul acosh Mul x0 x0 Mul 2 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul Pow acosh Mul x0 x0 2 log Pow acosh Mul x0 x0 2 