tan Add Add x0 sec Mul atan Mul x0 csc x0 Pow Add atan x7 2 Add x0 x0 Add x4 x0 
Mul Pow sec Add Add x0 sec Mul atan Mul x0 csc x0 Pow Add atan x7 2 Add x0 x0 Add x4 x0 2 Add Add 1 Mul Mul tan Mul atan Mul x0 csc x0 Pow Add atan x7 2 Add x0 x0 sec Mul atan Mul x0 csc x0 Pow Add atan x7 2 Add x0 x0 Add Mul Pow Add atan x7 2 Add x0 x0 Mul Add csc x0 Mul x0 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul Mul x0 csc x0 Mul x0 csc x0 -1 Mul atan Mul x0 csc x0 Mul Pow Add atan x7 2 Add Add x0 x0 -1 Mul Mul Add atan x7 2 log Add atan x7 2 2 1 