Add 3 Add log acot x0 Mul Pow Mul Pow Pow -5 x7 Mul x0 pi 2 Add Mul x5 x0 asech Add x3 Add x0 x0 x5 
Add Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 Mul x5 Mul Pow Mul Pow Pow -5 x7 Mul x0 pi 2 Add Add Mul x5 x0 asech Add x3 Add x0 x0 -1 Add Mul Add Mul x5 x0 asech Add x3 Add x0 x0 Mul 2 Mul Pow Pow -5 x7 Add Mul x0 pi -1 Mul Mul Pow -5 x7 log Pow -5 x7 pi Mul Mul Mul Pow Pow -5 x7 Mul x0 pi 2 log Mul Pow Pow -5 x7 Mul x0 pi 2 Add x5 Mul 2 Pow Mul Mul Add x3 Add x0 x0 Add x3 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x3 Add x0 x0 Add x3 Add x0 x0 -1 -1 