Mul Pow asech Add x7 atan E Pow x2 x0 tanh x0 
Add Mul tanh x0 Mul Pow asech Add x7 atan E Add Pow x2 x0 -1 Mul Mul asech Add x7 atan E log asech Add x7 atan E Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow asech Add x7 atan E Pow x2 x0 Pow sech x0 2 