acsc sec Mul Add x0 Mul Mul acot Mul Pow 2 x1 x0 x0 Mul 3 x0 -2 
Mul -1 Mul Mul Mul tan Mul Add x0 Mul Mul acot Mul Pow 2 x1 x0 x0 Mul 3 x0 -2 sec Mul Add x0 Mul Mul acot Mul Pow 2 x1 x0 x0 Mul 3 x0 -2 Mul -2 Add 1 Add Mul Mul 3 x0 Add Mul x0 Mul -1 Mul Pow 2 x1 Pow Add 1 Mul Mul Pow 2 x1 x0 Mul Pow 2 x1 x0 -1 acot Mul Pow 2 x1 x0 Mul Mul acot Mul Pow 2 x1 x0 x0 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sec Mul Add x0 Mul Mul acot Mul Pow 2 x1 x0 x0 Mul 3 x0 -2 sec Mul Add x0 Mul Mul acot Mul Pow 2 x1 x0 x0 Mul 3 x0 -2 -1 sec Mul Add x0 Mul Mul acot Mul Pow 2 x1 x0 x0 Mul 3 x0 -2 sec Mul Add x0 Mul Mul acot Mul Pow 2 x1 x0 x0 Mul 3 x0 -2 -1 