atan Mul Add x0 Pow Add x4 Pow 5 Mul Add -4 sech x3 5 x0 sech acot x4 
Mul Mul sech acot x4 Add 1 Mul Pow Add x4 Pow 5 Mul Add -4 sech x3 5 Add x0 -1 Mul Add x4 Pow 5 Mul Add -4 sech x3 5 log Add x4 Pow 5 Mul Add -4 sech x3 5 Pow Add 1 Mul Mul Add x0 Pow Add x4 Pow 5 Mul Add -4 sech x3 5 x0 sech acot x4 Mul Add x0 Pow Add x4 Pow 5 Mul Add -4 sech x3 5 x0 sech acot x4 -1 