Pow Mul 1.25992104989487 x0 Pow Mul acot x2 x0 x3 
Mul Pow Mul 1.25992104989487 x0 Add Pow Mul acot x2 x0 x3 -1 Add Mul Pow Mul acot x2 x0 x3 1.25992104989487 Mul Mul Mul 1.25992104989487 x0 log Mul 1.25992104989487 x0 Mul Pow Mul acot x2 x0 Add x3 -1 Mul x3 acot x2 