acot Add log Pow x0 Pow x0 Pow x0 acos E x3 
Mul -1 Mul Mul Mul Pow x0 Add Pow x0 Pow x0 acos E -1 Add Pow x0 Pow x0 acos E Mul Mul x0 log x0 Mul Pow x0 Add Pow x0 acos E -1 Add Pow x0 acos E Mul Mul x0 log x0 Mul Pow x0 Add acos E -1 acos E Pow Pow x0 Pow x0 Pow x0 acos E -1 Pow Add 1 Mul Add log Pow x0 Pow x0 Pow x0 acos E x3 Add log Pow x0 Pow x0 Pow x0 acos E x3 -1 