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