acosh Mul acosh Add x2 Mul Pow Mul x0 Mul Add Add -4 x0 5 4 x0 x0 x0 
Mul Add Mul x0 Mul Add Mul x0 Mul Pow Mul x0 Mul Add Add -4 x0 5 4 Add x0 -1 Add Mul x0 Add Mul Add Add -4 x0 5 4 Mul x0 4 Mul Mul x0 Mul Add Add -4 x0 5 4 log Mul x0 Mul Add Add -4 x0 5 4 Pow Mul x0 Mul Add Add -4 x0 5 4 x0 Pow Mul sqrt Add Add x2 Mul Pow Mul x0 Mul Add Add -4 x0 5 4 x0 x0 -1 sqrt Add 1 Add x2 Mul Pow Mul x0 Mul Add Add -4 x0 5 4 x0 x0 -1 acosh Add x2 Mul Pow Mul x0 Mul Add Add -4 x0 5 4 x0 x0 Pow Mul sqrt Add Mul acosh Add x2 Mul Pow Mul x0 Mul Add Add -4 x0 5 4 x0 x0 x0 -1 sqrt Add 1 Mul acosh Add x2 Mul Pow Mul x0 Mul Add Add -4 x0 5 4 x0 x0 x0 -1 