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