Pow Pow tan sqrt x0 exp Pow x7 Pow x0 acot pi 2 
Mul Pow tan sqrt x0 exp Pow x7 Pow x0 acot pi Mul 2 Mul Pow tan sqrt x0 Add exp Pow x7 Pow x0 acot pi -1 Add Mul exp Pow x7 Pow x0 acot pi Mul Pow sec sqrt x0 2 Pow Mul 2 sqrt x0 -1 Mul Mul tan sqrt x0 log tan sqrt x0 Mul exp Pow x7 Pow x0 acot pi Mul Pow x7 Add Pow x0 acot pi -1 Mul Mul x7 log x7 Mul Pow x0 Add acot pi -1 acot pi 