Pow Add Mul Pow acot Add x1 Mul E 4 Pow asec x0 Add x0 -3 asech Add 1 x4 x0 x0 
Mul Pow Add Mul Pow acot Add x1 Mul E 4 Pow asec x0 Add x0 -3 asech Add 1 x4 x0 Add x0 -1 Add Mul x0 Add Mul asech Add 1 x4 Mul Pow acot Add x1 Mul E 4 Add Pow asec x0 Add x0 -3 -1 Mul Mul acot Add x1 Mul E 4 log acot Add x1 Mul E 4 Mul Pow asec x0 Add Add x0 -3 -1 Add Mul Add x0 -3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 log asec x0 1 Mul Add Mul Pow acot Add x1 Mul E 4 Pow asec x0 Add x0 -3 asech Add 1 x4 x0 log Add Mul Pow acot Add x1 Mul E 4 Pow asec x0 Add x0 -3 asech Add 1 x4 x0 