Mul acosh x0 Mul Add Add Mul Pow Mul x6 x0 x7 x0 x6 x0 x0 
Add Mul Mul Add Add Mul Pow Mul x6 x0 x7 x0 x6 x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Mul x0 Add Add Mul x0 Mul Pow Mul x6 x0 Add x7 -1 Mul x7 x6 Pow Mul x6 x0 x7 1 Add Add Mul Pow Mul x6 x0 x7 x0 x6 x0 