acot sqrt atanh acot Add x0 -1 
Mul -1 Mul Mul Pow Mul 2 sqrt atanh acot Add x0 -1 -1 Mul Mul -1 Pow Add 1 Mul Add x0 -1 Add x0 -1 -1 Pow Add 1 Mul -1 Mul acot Add x0 -1 acot Add x0 -1 -1 Pow Add 1 Mul sqrt atanh acot Add x0 -1 sqrt atanh acot Add x0 -1 -1 