Mul Pow Pow x3 x0 -0.765219936899899 Mul acot x0 x1 
Add Mul Mul acot x0 x1 Mul Pow Pow x3 x0 -1.76521993689990 Mul -0.765219936899899 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow Pow x3 x0 -0.765219936899899 Mul x1 Mul -1 Pow Add 1 Mul x0 x0 -1 