atanh atanh acsc Add x0 pi 
Mul Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 pi Add x0 pi -1 Add x0 pi Add x0 pi -1 Pow Add 1 Mul -1 Mul acsc Add x0 pi acsc Add x0 pi -1 Pow Add 1 Mul -1 Mul atanh acsc Add x0 pi atanh acsc Add x0 pi -1 