Pow x4 Add Pow x6 x0 exp Add sec Add Pow x5 Mul Add x5 x6 acosh Mul x6 -3 x3 Mul Mul -1 x0 2 
Mul Pow x4 Add Add Pow x6 x0 exp Add sec Add Pow x5 Mul Add x5 x6 acosh Mul x6 -3 x3 Mul Mul -1 x0 2 -1 Mul Mul x4 log x4 Add Mul Pow x6 Add x0 -1 Mul x6 log x6 exp Add sec Add Pow x5 Mul Add x5 x6 acosh Mul x6 -3 x3 Mul Mul -1 x0 2 