Mul Add Pow Mul x7 sec acosh E log Pow x7 x0 x0 x0 
Add Mul x0 Add Mul Pow Mul x7 sec acosh E Add log Pow x7 x0 -1 Mul Mul Mul x7 sec acosh E log Mul x7 sec acosh E Mul Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Pow x7 x0 -1 1 Add Pow Mul x7 sec acosh E log Pow x7 x0 x0 