Pow acot Mul Mul asec x6 Mul x5 x0 3 Mul x0 Pow x0 3 
Mul Pow acot Mul Mul asec x6 Mul x5 x0 3 Add Mul x0 Pow x0 3 -1 Add Mul Mul x0 Pow x0 3 Mul -1 Mul Mul 3 Mul asec x6 x5 Pow Add 1 Mul Mul Mul asec x6 Mul x5 x0 3 Mul Mul asec x6 Mul x5 x0 3 -1 Mul Mul acot Mul Mul asec x6 Mul x5 x0 3 log acot Mul Mul asec x6 Mul x5 x0 3 Add Pow x0 3 Mul x0 Mul Pow x0 2 3 