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