Mul Pow x6 -3 Pow Mul Mul x0 Pow sec acot x1 Mul Mul -2 x0 x6 pi x5 
Mul Pow x6 -3 Mul Pow Mul Mul x0 Pow sec acot x1 Mul Mul -2 x0 x6 pi Add x5 -1 Mul x5 Mul pi Add Pow sec acot x1 Mul Mul -2 x0 x6 Mul x0 Mul Pow sec acot x1 Add Mul Mul -2 x0 x6 -1 Mul Mul sec acot x1 log sec acot x1 Mul x6 -2 