Pow Pow Add 4 atan x0 Mul Add -2 x0 Pow asech x5 x0 Add Mul E exp x0 x0 
Mul Pow Pow Add 4 atan x0 Mul Add -2 x0 Pow asech x5 x0 Add Add Mul E exp x0 x0 -1 Add Mul Add Mul E exp x0 x0 Mul Pow Add 4 atan x0 Add Mul Add -2 x0 Pow asech x5 x0 -1 Add Mul Mul Add -2 x0 Pow asech x5 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Add 4 atan x0 log Add 4 atan x0 Add Pow asech x5 x0 Mul Add -2 x0 Mul Pow asech x5 Add x0 -1 Mul asech x5 log asech x5 Mul Mul Pow Add 4 atan x0 Mul Add -2 x0 Pow asech x5 x0 log Pow Add 4 atan x0 Mul Add -2 x0 Pow asech x5 x0 Add Mul E exp x0 1 