acot Mul x0 atan acos Pow E Add x0 Add x0 1 
Mul -1 Mul Add atan acos Pow E Add x0 Add x0 1 Mul x0 Mul Mul -1 Mul Mul Pow E Add Add x0 Add x0 1 -1 Mul Mul E log E 2 Pow sqrt Add 1 Mul -1 Mul Pow E Add x0 Add x0 1 Pow E Add x0 Add x0 1 -1 Pow Add 1 Mul acos Pow E Add x0 Add x0 1 acos Pow E Add x0 Add x0 1 -1 Pow Add 1 Mul Mul x0 atan acos Pow E Add x0 Add x0 1 Mul x0 atan acos Pow E Add x0 Add x0 1 -1 