Mul Add Pow atan sqrt sech Mul Pow x1 x0 Add pi asech x0 Add x0 2 x0 x3 
Mul x3 Add Mul Pow atan sqrt sech Mul Pow x1 x0 Add pi asech x0 Add Add x0 2 -1 Add Mul Add x0 2 Mul Mul Pow Mul 2 sqrt sech Mul Pow x1 x0 Add pi asech x0 -1 Mul Mul tanh Mul Pow x1 x0 Add pi asech x0 Mul -1 sech Mul Pow x1 x0 Add pi asech x0 Add Mul Add pi asech x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow x1 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul sqrt sech Mul Pow x1 x0 Add pi asech x0 sqrt sech Mul Pow x1 x0 Add pi asech x0 -1 Mul atan sqrt sech Mul Pow x1 x0 Add pi asech x0 log atan sqrt sech Mul Pow x1 x0 Add pi asech x0 1 