cot atan Mul tan Add Mul Mul asech x0 x7 x0 Mul -3 Add x2 x0 x4 
Mul Mul -1 Pow csc atan Mul tan Add Mul Mul asech x0 x7 x0 Mul -3 Add x2 x0 x4 2 Mul Mul x4 Mul Pow sec Add Mul Mul asech x0 x7 x0 Mul -3 Add x2 x0 2 Add Add Mul x0 Mul x7 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 x7 -3 Pow Add 1 Mul Mul tan Add Mul Mul asech x0 x7 x0 Mul -3 Add x2 x0 x4 Mul tan Add Mul Mul asech x0 x7 x0 Mul -3 Add x2 x0 x4 -1 