csc Mul x0 acoth sec Pow Mul x0 x0 x1 
Mul Mul Mul -1 cot Mul x0 acoth sec Pow Mul x0 x0 x1 csc Mul x0 acoth sec Pow Mul x0 x0 x1 Add acoth sec Pow Mul x0 x0 x1 Mul x0 Mul Mul Mul tan Pow Mul x0 x0 x1 sec Pow Mul x0 x0 x1 Mul Pow Mul x0 x0 Add x1 -1 Mul x1 Add x0 x0 Pow Add 1 Mul -1 Mul sec Pow Mul x0 x0 x1 sec Pow Mul x0 x0 x1 -1 