Pow acosh Add E Pow Mul x0 x0 Mul log x0 x7 -2 
Mul Pow acosh Add E Pow Mul x0 x0 Mul log x0 x7 3 Mul -2 Mul Mul Pow Mul x0 x0 Add Mul log x0 x7 -1 Add Mul Mul log x0 x7 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul x7 Pow x0 -1 Pow Mul sqrt Add Add E Pow Mul x0 x0 Mul log x0 x7 -1 sqrt Add 1 Add E Pow Mul x0 x0 Mul log x0 x7 -1 