Mul x0 Pow x0 Mul cos Mul x0 x2 asech Mul cot x1 x0 
Add Pow x0 Mul cos Mul x0 x2 asech Mul cot x1 x0 Mul x0 Mul Pow x0 Add Mul cos Mul x0 x2 asech Mul cot x1 x0 -1 Add Mul cos Mul x0 x2 asech Mul cot x1 x0 Mul Mul x0 log x0 Add Mul asech Mul cot x1 x0 Mul Mul -1 sin Mul x0 x2 x2 Mul cos Mul x0 x2 Mul cot x1 Pow Mul Mul Mul cot x1 x0 Mul cot x1 x0 sqrt Add 1 Mul -1 Pow Mul Mul cot x1 x0 Mul cot x1 x0 -1 -1 