sech Add pi Add Mul x0 4 Add Mul x4 asin asinh x4 Pow E x0 
Mul Mul tanh Add pi Add Mul x0 4 Add Mul x4 asin asinh x4 Pow E x0 Mul -1 sech Add pi Add Mul x0 4 Add Mul x4 asin asinh x4 Pow E x0 Add 4 Mul Pow E Add x0 -1 Mul E log E 