Mul asech Mul x4 Mul x0 sin acot x1 x0 
Add Mul x0 Mul Mul x4 sin acot x1 Pow Mul Mul Mul x4 Mul x0 sin acot x1 Mul x4 Mul x0 sin acot x1 sqrt Add 1 Mul -1 Pow Mul Mul x4 Mul x0 sin acot x1 Mul x4 Mul x0 sin acot x1 -1 -1 asech Mul x4 Mul x0 sin acot x1 