cot Mul asech csc asec Mul x4 x0 0.858407346410207 
Mul Mul -1 Pow csc Mul asech csc asec Mul x4 x0 0.858407346410207 2 Mul 0.858407346410207 Mul Mul Mul Mul -1 cot asec Mul x4 x0 csc asec Mul x4 x0 Mul x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x4 x0 Mul x4 x0 -1 Mul x4 x0 Mul x4 x0 -1 Pow Mul Mul csc asec Mul x4 x0 csc asec Mul x4 x0 sqrt Add 1 Mul -1 Pow Mul csc asec Mul x4 x0 csc asec Mul x4 x0 -1 -1 