Pow x0 tan Add x6 Pow x0 Add pi Pow x0 acot x4 
Mul Pow x0 Add tan Add x6 Pow x0 Add pi Pow x0 acot x4 -1 Add tan Add x6 Pow x0 Add pi Pow x0 acot x4 Mul Mul x0 log x0 Mul Pow sec Add x6 Pow x0 Add pi Pow x0 acot x4 2 Mul Pow x0 Add Add pi Pow x0 acot x4 -1 Add Add pi Pow x0 acot x4 Mul Mul x0 log x0 Mul Pow x0 Add acot x4 -1 acot x4 