sech Add x2 Add x7 Mul Pow x3 x0 atan sqrt x0 
Mul Mul tanh Add x2 Add x7 Mul Pow x3 x0 atan sqrt x0 Mul -1 sech Add x2 Add x7 Mul Pow x3 x0 atan sqrt x0 Add Mul atan sqrt x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 