Pow Mul 2 Pow x0 -1 asec acot x0 
Mul Pow Mul 2 Pow x0 -1 Add asec acot x0 -1 Add Mul asec acot x0 Mul 2 Mul Pow x0 2 -1 Mul Mul Mul 2 Pow x0 -1 log Mul 2 Pow x0 -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 acot x0 acot x0 -1 