Mul Pow 1.57079632679490 x0 Add Add Add x0 acos sec acos Add 0.642092615934331 x7 x0 x5 
Add Mul Add Add Add x0 acos sec acos Add 0.642092615934331 x7 x0 x5 Mul Pow 1.57079632679490 Add x0 -1 2.02237903208435 Mul Pow 1.57079632679490 x0 2 