Pow Mul cot tan acos log x0 2 x2 
Mul Pow Mul cot tan acos log x0 2 Add x2 -1 Mul x2 Mul 2 Mul Mul -1 Pow csc tan acos log x0 2 Mul Pow sec acos log x0 2 Mul -1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 