Add Add 2 Add Mul -4 x0 x0 Pow Add Add acot x6 2 Add x0 pi Add asech x0 Pow x0 Add x0 x1 
Add 3 Mul Pow Add Add acot x6 2 Add x0 pi Add Add asech x0 Pow x0 Add x0 x1 -1 Add Add asech x0 Pow x0 Add x0 x1 Mul Mul Add Add acot x6 2 Add x0 pi log Add Add acot x6 2 Add x0 pi Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow x0 Add Add x0 x1 -1 Add Add x0 x1 Mul x0 log x0 