Mul x0 acot tan Add pi Add Mul x2 Mul x0 x0 Mul 2 x5 
Add acot tan Add pi Add Mul x2 Mul x0 x0 Mul 2 x5 Mul x0 Mul -1 Mul Mul Pow sec Add pi Add Mul x2 Mul x0 x0 Mul 2 x5 2 Mul x2 Add x0 x0 Pow Add 1 Mul tan Add pi Add Mul x2 Mul x0 x0 Mul 2 x5 tan Add pi Add Mul x2 Mul x0 x0 Mul 2 x5 -1 