Mul Add Pow x0 Pow Add pi Add Pow asech Add x0 2 x0 4 E Mul -2 Mul -1 atan exp x2 x3 
Mul x3 Mul Pow x0 Add Pow Add pi Add Pow asech Add x0 2 x0 4 E -1 Add Pow Add pi Add Pow asech Add x0 2 x0 4 E Mul Mul x0 log x0 Mul Pow Add pi Add Pow asech Add x0 2 x0 4 Add E -1 Mul E Mul Pow asech Add x0 2 Add x0 -1 Add Mul x0 Pow Mul Mul Add x0 2 Add x0 2 sqrt Add 1 Mul -1 Pow Mul Add x0 2 Add x0 2 -1 -1 Mul asech Add x0 2 log asech Add x0 2 