Mul Pow Mul acot E Mul x0 Mul E x1 Mul x0 1.44363547517881 Add x0 1 
Add Mul Add x0 1 Mul Pow Mul acot E Mul x0 Mul E x1 Add Mul x0 1.44363547517881 -1 Add Mul Mul x0 1.44363547517881 Mul acot E Mul E x1 Mul Mul Mul acot E Mul x0 Mul E x1 log Mul acot E Mul x0 Mul E x1 1.44363547517881 Pow Mul acot E Mul x0 Mul E x1 Mul x0 1.44363547517881 