tan Mul x0 Add Add acot cos x2 x0 Pow Pow acot x0 x0 pi 
Mul Pow sec Mul x0 Add Add acot cos x2 x0 Pow Pow acot x0 x0 pi 2 Add Add Add acot cos x2 x0 Pow Pow acot x0 x0 pi Mul x0 Add 1 Mul Pow Pow acot x0 x0 Add pi -1 Mul pi Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 