atanh Mul acos sqrt Add x0 x0 cot x0 
Mul Add Mul cot x0 Mul -1 Mul Mul Pow Mul 2 sqrt Add x0 x0 -1 2 Pow sqrt Add 1 Mul -1 Mul sqrt Add x0 x0 sqrt Add x0 x0 -1 Mul acos sqrt Add x0 x0 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Mul acos sqrt Add x0 x0 cot x0 Mul acos sqrt Add x0 x0 cot x0 -1 