Pow Add x7 x0 acot Pow acos Add x0 Mul Add E x0 E x3 
Mul Pow Add x7 x0 Add acot Pow acos Add x0 Mul Add E x0 E x3 -1 Add acot Pow acos Add x0 Mul Add E x0 E x3 Mul Mul Add x7 x0 log Add x7 x0 Mul -1 Mul Mul Pow acos Add x0 Mul Add E x0 E Add x3 -1 Mul x3 Mul -1 Mul Add 1 E Pow sqrt Add 1 Mul -1 Mul Add x0 Mul Add E x0 E Add x0 Mul Add E x0 E -1 Pow Add 1 Mul Pow acos Add x0 Mul Add E x0 E x3 Pow acos Add x0 Mul Add E x0 E x3 -1 