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