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