Add x0 Pow Add x0 Mul acosh x1 sec Add x6 x0 Pow x0 2 
Add 1 Mul Pow Add x0 Mul acosh x1 sec Add x6 x0 Add Pow x0 2 -1 Add Mul Pow x0 2 Add 1 Mul acosh x1 Mul tan Add x6 x0 sec Add x6 x0 Mul Mul Add x0 Mul acosh x1 sec Add x6 x0 log Add x0 Mul acosh x1 sec Add x6 x0 Mul x0 2 