cot Mul Mul exp x0 Mul x0 -2 acot Add x5 Mul Add -1 x0 x0 
Mul Mul -1 Pow csc Mul Mul exp x0 Mul x0 -2 acot Add x5 Mul Add -1 x0 x0 2 Add Mul acot Add x5 Mul Add -1 x0 x0 Add Mul Mul x0 -2 exp x0 Mul exp x0 -2 Mul Mul exp x0 Mul x0 -2 Mul -1 Mul Add x0 Add -1 x0 Pow Add 1 Mul Add x5 Mul Add -1 x0 x0 Add x5 Mul Add -1 x0 x0 -1 