Pow sec Add Add E acosh x4 E Mul Add Pow x0 3 Add x0 -2 x0 
Mul Pow sec Add Add E acosh x4 E Add Mul Add Pow x0 3 Add x0 -2 x0 -1 Mul Mul sec Add Add E acosh x4 E log sec Add Add E acosh x4 E Add Mul x0 Add Mul Pow x0 2 3 1 Add Pow x0 3 Add x0 -2 