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