Mul x0 sec Mul 5 Mul log acos asech Pow -1 x7 x0 
Add sec Mul 5 Mul log acos asech Pow -1 x7 x0 Mul x0 Mul Mul tan Mul 5 Mul log acos asech Pow -1 x7 x0 sec Mul 5 Mul log acos asech Pow -1 x7 x0 Mul 5 log acos asech Pow -1 x7 