Pow Mul asech sinh exp x1 Add Pow x0 x0 Add sech atan x0 x0 x2 
Mul Pow Mul asech sinh exp x1 Add Pow x0 x0 Add sech atan x0 x0 Add x2 -1 Mul x2 Mul asech sinh exp x1 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul Mul tanh atan x0 Mul -1 sech atan x0 Pow Add 1 Mul x0 x0 -1 1 