Mul x0 Mul asech Mul log x0 x1 cot x0 
Add Mul asech Mul log x0 x1 cot x0 Mul x0 Add Mul cot x0 Mul Mul x1 Pow x0 -1 Pow Mul Mul Mul log x0 x1 Mul log x0 x1 sqrt Add 1 Mul -1 Pow Mul Mul log x0 x1 Mul log x0 x1 -1 -1 Mul asech Mul log x0 x1 Mul -1 Pow csc x0 2 