Pow Mul Add -3 Add -3 acosh Pow x7 x4 acosh Pow Mul x0 Mul x0 E Mul x7 Mul 3 Add x0 x2 -3 
Mul Pow Mul Add -3 Add -3 acosh Pow x7 x4 acosh Pow Mul x0 Mul x0 E Mul x7 Mul 3 Add x0 x2 4 Mul -3 Mul Add -3 Add -3 acosh Pow x7 x4 Mul Mul Pow Mul x0 Mul x0 E Add Mul x7 Mul 3 Add x0 x2 -1 Add Mul Mul x7 Mul 3 Add x0 x2 Add Mul x0 E Mul x0 E Mul Mul Mul x0 Mul x0 E log Mul x0 Mul x0 E Mul x7 3 Pow Mul sqrt Add Pow Mul x0 Mul x0 E Mul x7 Mul 3 Add x0 x2 -1 sqrt Add 1 Pow Mul x0 Mul x0 E Mul x7 Mul 3 Add x0 x2 -1 