Add Add x4 Add Pow Mul x1 x0 Mul acosh acosh Mul x3 4 Mul x0 Add x0 -2 x0 3 
Add Mul Pow Mul x1 x0 Add Mul acosh acosh Mul x3 4 Mul x0 Add x0 -2 -1 Add Mul Mul acosh acosh Mul x3 4 Mul x0 Add x0 -2 x1 Mul Mul Mul x1 x0 log Mul x1 x0 Mul acosh acosh Mul x3 4 Add Add x0 -2 x0 1 