log Pow log Pow acos acot x1 x0 Add 2 x0 
Mul Mul Pow log Pow acos acot x1 x0 Add Add 2 x0 -1 Add Mul Add 2 x0 Mul Mul Pow acos acot x1 Add x0 -1 Mul acos acot x1 log acos acot x1 Pow Pow acos acot x1 x0 -1 Mul log Pow acos acot x1 x0 log log Pow acos acot x1 x0 Pow Pow log Pow acos acot x1 x0 Add 2 x0 -1 