acos Add acot asec acot Mul x0 Pow x0 -1 x5 
Mul -1 Mul Mul -1 Mul Mul Mul -1 Mul Add Pow x0 -1 Mul x0 Mul Pow x0 2 -1 Pow Add 1 Mul Mul x0 Pow x0 -1 Mul x0 Pow x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot Mul x0 Pow x0 -1 acot Mul x0 Pow x0 -1 -1 acot Mul x0 Pow x0 -1 acot Mul x0 Pow x0 -1 -1 Pow Add 1 Mul asec acot Mul x0 Pow x0 -1 asec acot Mul x0 Pow x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Add acot asec acot Mul x0 Pow x0 -1 x5 Add acot asec acot Mul x0 Pow x0 -1 x5 -1 