Pow x0 Pow Mul x0 Add x0 x0 Add sec sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 x7 
Mul Pow x0 Add Pow Mul x0 Add x0 x0 Add sec sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 x7 -1 Add Pow Mul x0 Add x0 x0 Add sec sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 x7 Mul Mul x0 log x0 Mul Pow Mul x0 Add x0 x0 Add Add sec sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 x7 -1 Add Mul Add sec sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 x7 Add Add x0 x0 Mul x0 2 Mul Mul Mul x0 Add x0 x0 log Mul x0 Add x0 x0 Mul Mul tan sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 sec sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 Mul Mul tan Mul x0 Add log x0 Mul Pow x0 3 acosh x5 sec Mul x0 Add log x0 Mul Pow x0 3 acosh x5 Add Add log x0 Mul Pow x0 3 acosh x5 Mul x0 Add Pow x0 -1 Mul acosh x5 Mul Pow x0 2 3 