Pow x0 Pow Mul x2 x0 Add acosh x7 x3 
Mul Pow x0 Add Pow Mul x2 x0 Add acosh x7 x3 -1 Add Pow Mul x2 x0 Add acosh x7 x3 Mul Mul x0 log x0 Mul Pow Mul x2 x0 Add Add acosh x7 x3 -1 Mul Add acosh x7 x3 x2 