Mul x3 Pow Mul Add Pow x0 x7 x6 x5 acosh Mul -4 x0 
Mul x3 Mul Pow Mul Add Pow x0 x7 x6 x5 Add acosh Mul -4 x0 -1 Add Mul acosh Mul -4 x0 Mul x5 Mul Pow x0 Add x7 -1 x7 Mul Mul Mul Add Pow x0 x7 x6 x5 log Mul Add Pow x0 x7 x6 x5 Mul -4 Pow Mul sqrt Add Mul -4 x0 -1 sqrt Add 1 Mul -4 x0 -1 