Add Pow acot x1 Pow Pow x0 x5 8165619676597685 x0 
Add Mul Pow acot x1 Add Pow Pow x0 x5 8165619676597685 -1 Mul Mul acot x1 log acot x1 Mul Pow Pow x0 x5 8165619676597684 Mul 8165619676597685 Mul Pow x0 Add x5 -1 x5 1 