atanh Add 1 Add x0 Add Add Add x3 Pow acot pi x0 2 pi 
Mul Add 1 Mul Pow acot pi Add x0 -1 Mul acot pi log acot pi Pow Add 1 Mul -1 Mul Add 1 Add x0 Add Add Add x3 Pow acot pi x0 2 pi Add 1 Add x0 Add Add Add x3 Pow acot pi x0 2 pi -1 