cos acos Mul asec Mul Mul x0 Add x0 Add x0 pi x0 Add Mul 4 x0 2 
Mul Mul -1 sin acos Mul asec Mul Mul x0 Add x0 Add x0 pi x0 Add Mul 4 x0 2 Mul -1 Mul Add Mul Add Mul 4 x0 2 Mul Add Mul x0 Add Add x0 Add x0 pi Mul x0 2 Mul x0 Add x0 Add x0 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 Add x0 Add x0 pi x0 Mul Mul x0 Add x0 Add x0 pi x0 -1 Mul Mul x0 Add x0 Add x0 pi x0 Mul Mul x0 Add x0 Add x0 pi x0 -1 Mul asec Mul Mul x0 Add x0 Add x0 pi x0 4 Pow sqrt Add 1 Mul -1 Mul Mul asec Mul Mul x0 Add x0 Add x0 pi x0 Add Mul 4 x0 2 Mul asec Mul Mul x0 Add x0 Add x0 pi x0 Add Mul 4 x0 2 -1 