Mul Pow acot Pow -1 x2 log Mul Pow x0 x0 1.54308063481524 5 
Mul 5 Mul Pow acot Pow -1 x2 Add log Mul Pow x0 x0 1.54308063481524 -1 Mul Mul acot Pow -1 x2 log acot Pow -1 x2 Mul Mul 1.54308063481524 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Pow x0 x0 1.54308063481524 -1 