Add Pow Mul x0 acosh x6 Pow x0 Add -4 sec E Add x0 x3 
Add Mul Pow Mul x0 acosh x6 Add Pow x0 Add -4 sec E -1 Add Mul Pow x0 Add -4 sec E acosh x6 Mul Mul Mul x0 acosh x6 log Mul x0 acosh x6 Mul Pow x0 Add Add -4 sec E -1 Add -4 sec E 1 