Add Pow Pow tan acot x3 Pow sec Mul x0 x0 Add x0 2 x7 Mul x0 acot Add csc x3 Mul -2 x0 
Add Mul Pow Pow tan acot x3 Pow sec Mul x0 x0 Add x0 2 Add x7 -1 Mul x7 Mul Pow tan acot x3 Add Pow sec Mul x0 x0 Add x0 2 -1 Mul Mul tan acot x3 log tan acot x3 Mul Pow sec Mul x0 x0 Add Add x0 2 -1 Add Mul Add x0 2 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Mul sec Mul x0 x0 log sec Mul x0 x0 Add acot Add csc x3 Mul -2 x0 Mul x0 Mul -1 Mul -2 Pow Add 1 Mul Add csc x3 Mul -2 x0 Add csc x3 Mul -2 x0 -1 