Pow log Add -0.275720564771783 acos sec x6 Mul Add x0 -3 x0 
Mul Pow log Add -0.275720564771783 acos sec x6 Add Mul Add x0 -3 x0 -1 Mul Mul log Add -0.275720564771783 acos sec x6 log log Add -0.275720564771783 acos sec x6 Add x0 Add x0 -3 