acot Mul Add x0 sec Add Mul Add x0 Mul x0 Mul x4 x0 x0 x0 Pow x3 -2 
Mul -1 Mul Mul Pow x3 -2 Add 1 Mul Mul tan Add Mul Add x0 Mul x0 Mul x4 x0 x0 x0 sec Add Mul Add x0 Mul x0 Mul x4 x0 x0 x0 Add Add Mul x0 Add 1 Add Mul x4 x0 Mul x0 x4 Add x0 Mul x0 Mul x4 x0 1 Pow Add 1 Mul Mul Add x0 sec Add Mul Add x0 Mul x0 Mul x4 x0 x0 x0 Pow x3 -2 Mul Add x0 sec Add Mul Add x0 Mul x0 Mul x4 x0 x0 x0 Pow x3 -2 -1 