Add exp Mul Mul x0 -3 Add sqrt Pow sec acos pi x0 pi Mul x0 Add 5 x0 
Add Mul exp Mul Mul x0 -3 Add sqrt Pow sec acos pi x0 pi Add Mul Add sqrt Pow sec acos pi x0 pi -3 Mul Mul x0 -3 Mul Pow Mul 2 sqrt Pow sec acos pi x0 -1 Mul Pow sec acos pi Add x0 -1 Mul sec acos pi log sec acos pi Add Add 5 x0 x0 