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