atanh Mul x0 Pow acot Add -1 Pow Add x6 1 pi x0 
Mul Add Pow acot Add -1 Pow Add x6 1 pi x0 Mul x0 Mul Pow acot Add -1 Pow Add x6 1 pi Add x0 -1 Mul acot Add -1 Pow Add x6 1 pi log acot Add -1 Pow Add x6 1 pi Pow Add 1 Mul -1 Mul Mul x0 Pow acot Add -1 Pow Add x6 1 pi x0 Mul x0 Pow acot Add -1 Pow Add x6 1 pi x0 -1 