Pow x0 Mul Mul Mul x0 x6 Pow acot x0 Add x6 x0 sec x1 
Mul Pow x0 Add Mul Mul Mul x0 x6 Pow acot x0 Add x6 x0 sec x1 -1 Add Mul Mul Mul x0 x6 Pow acot x0 Add x6 x0 sec x1 Mul Mul x0 log x0 Mul sec x1 Add Mul Pow acot x0 Add x6 x0 x6 Mul Mul x0 x6 Mul Pow acot x0 Add Add x6 x0 -1 Add Mul Add x6 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 