Mul Pow x0 x1 Mul acot x2 Mul Pow 3.76219569108363 x0 x0 
Add Mul Mul acot x2 Mul Pow 3.76219569108363 x0 x0 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul acot x2 Add Mul x0 Mul Pow 3.76219569108363 Add x0 -1 5.08719843844150 Pow 3.76219569108363 x0 