Add Add atan x7 Add 4 tanh Mul 3 Pow x7 exp x0 Mul sec x5 acosh x0 
Add Mul Pow sech Mul 3 Pow x7 exp x0 2 Mul 3 Mul Pow x7 Add exp x0 -1 Mul Mul x7 log x7 exp x0 Mul sec x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 