Pow Add x0 9 Mul atan Add x0 x5 sech x3 
Mul Pow Add x0 9 Add Mul atan Add x0 x5 sech x3 -1 Add Mul atan Add x0 x5 sech x3 Mul Mul Add x0 9 log Add x0 9 Mul sech x3 Pow Add 1 Mul Add x0 x5 Add x0 x5 -1 