Add sech Add Add x0 x1 acot asech Mul 4 Add x0 sqrt acot pi tanh x0 
Add Mul Mul tanh Add Add x0 x1 acot asech Mul 4 Add x0 sqrt acot pi Mul -1 sech Add Add x0 x1 acot asech Mul 4 Add x0 sqrt acot pi Add 1 Mul -1 Mul Mul 4 Pow Mul Mul Mul 4 Add x0 sqrt acot pi Mul 4 Add x0 sqrt acot pi sqrt Add 1 Mul -1 Pow Mul Mul 4 Add x0 sqrt acot pi Mul 4 Add x0 sqrt acot pi -1 -1 Pow Add 1 Mul asech Mul 4 Add x0 sqrt acot pi asech Mul 4 Add x0 sqrt acot pi -1 Pow sech x0 2 