Add atan x0 Mul tan Pow Add x0 exp x0 Pow Add 1 x7 acosh x3 x2 
Add Pow Add 1 Mul x0 x0 -1 Mul x2 Mul Pow sec Pow Add x0 exp x0 Pow Add 1 x7 acosh x3 2 Mul Pow Add x0 exp x0 Add Pow Add 1 x7 acosh x3 -1 Mul Pow Add 1 x7 acosh x3 Add 1 exp x0 