Add Pow Mul x0 acosh atan x3 Add x0 x0 cbrt Pow x0 x7 
Add Mul Pow Mul x0 acosh atan x3 Add Add x0 x0 -1 Add Mul Add x0 x0 acosh atan x3 Mul Mul Mul x0 acosh atan x3 log Mul x0 acosh atan x3 2 Mul Pow Mul Mul 3 cbrt Pow x0 x7 cbrt Pow x0 x7 -1 Mul Pow x0 Add x7 -1 x7 