Mul x0 Pow Mul acot Add x3 Add x0 x1 x0 Pow Mul x1 Add x0 pi Pow E x0 
Add Pow Mul acot Add x3 Add x0 x1 x0 Pow Mul x1 Add x0 pi Pow E x0 Mul x0 Mul Pow Mul acot Add x3 Add x0 x1 x0 Add Pow Mul x1 Add x0 pi Pow E x0 -1 Add Mul Pow Mul x1 Add x0 pi Pow E x0 Add Mul x0 Mul -1 Pow Add 1 Mul Add x3 Add x0 x1 Add x3 Add x0 x1 -1 acot Add x3 Add x0 x1 Mul Mul Mul acot Add x3 Add x0 x1 x0 log Mul acot Add x3 Add x0 x1 x0 Mul Pow Mul x1 Add x0 pi Add Pow E x0 -1 Add Mul Pow E x0 x1 Mul Mul Mul x1 Add x0 pi log Mul x1 Add x0 pi Mul Pow E Add x0 -1 Mul E log E 