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