log Pow Pow Add atan Add x0 x0 x0 x0 sech x7 
Mul Mul Pow Pow Add atan Add x0 x0 x0 x0 Add sech x7 -1 Mul sech x7 Mul Pow Add atan Add x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 1 Mul Add atan Add x0 x0 x0 log Add atan Add x0 x0 x0 Pow Pow Pow Add atan Add x0 x0 x0 x0 sech x7 -1 