sqrt Add sec Add x0 -3 Mul x0 Mul x0 Mul cot x1 Mul x0 x5 
Mul Pow Mul 2 sqrt Add sec Add x0 -3 Mul x0 Mul x0 Mul cot x1 Mul x0 x5 -1 Add Mul tan Add x0 -3 sec Add x0 -3 Add Mul x0 Mul cot x1 Mul x0 x5 Mul x0 Add Mul cot x1 Mul x0 x5 Mul x0 Mul cot x1 x5 