Pow Pow x0 Add exp acosh x0 Add x0 Pow Mul x0 Pow -4 x7 7 E 
Mul Pow Pow x0 Add exp acosh x0 Add x0 Pow Mul x0 Pow -4 x7 7 Add E -1 Mul E Mul Pow x0 Add Add exp acosh x0 Add x0 Pow Mul x0 Pow -4 x7 7 -1 Add Add exp acosh x0 Add x0 Pow Mul x0 Pow -4 x7 7 Mul Mul x0 log x0 Add Mul exp acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add 1 Mul Pow Mul x0 Pow -4 x7 6 Mul 7 Pow -4 x7 