Mul Mul asech cos Add cos x0 2 Pow x0 -1 x4 
Mul x4 Add Mul Pow x0 -1 Mul Mul Mul -1 sin Add cos x0 2 Mul -1 sin x0 Pow Mul Mul cos Add cos x0 2 cos Add cos x0 2 sqrt Add 1 Mul -1 Pow Mul cos Add cos x0 2 cos Add cos x0 2 -1 -1 Mul asech cos Add cos x0 2 Mul Pow x0 2 -1 