acosh Add Pow Mul x0 2 Add -4 x0 -3 
Mul Mul Pow Mul x0 2 Add Add -4 x0 -1 Add Mul Add -4 x0 2 Mul Mul x0 2 log Mul x0 2 Pow Mul sqrt Add Add Pow Mul x0 2 Add -4 x0 -3 -1 sqrt Add 1 Add Pow Mul x0 2 Add -4 x0 -3 -1 