Mul x0 Pow Add sec acos Mul Pow acos E x5 x0 x0 x0 
Add Pow Add sec acos Mul Pow acos E x5 x0 x0 x0 Mul x0 Mul Pow Add sec acos Mul Pow acos E x5 x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul tan acos Mul Pow acos E x5 x0 sec acos Mul Pow acos E x5 x0 Mul -1 Mul Pow acos E x5 Pow sqrt Add 1 Mul -1 Mul Mul Pow acos E x5 x0 Mul Pow acos E x5 x0 -1 1 Mul Add sec acos Mul Pow acos E x5 x0 x0 log Add sec acos Mul Pow acos E x5 x0 x0 