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