Mul Mul x0 Mul x0 x0 Pow x3 sech Mul Add asinh E -1 x0 
Add Mul Pow x3 sech Mul Add asinh E -1 x0 Add Mul x0 x0 Mul x0 Add x0 x0 Mul Mul x0 Mul x0 x0 Mul Pow x3 Add sech Mul Add asinh E -1 x0 -1 Mul Mul x3 log x3 Mul Mul tanh Mul Add asinh E -1 x0 Mul -1 sech Mul Add asinh E -1 x0 Add asinh E -1 