Mul Mul x0 Pow exp pi Add Mul x0 -2 acos sec Add x3 x0 Add 0.642092615934331 Mul x0 x0 
Add Mul Add 0.642092615934331 Mul x0 x0 Add Pow exp pi Add Mul x0 -2 acos sec Add x3 x0 Mul x0 Mul Pow exp pi Add Add Mul x0 -2 acos sec Add x3 x0 -1 Mul Mul exp pi log exp pi Add -2 Mul -1 Mul Mul tan Add x3 x0 sec Add x3 x0 Pow sqrt Add 1 Mul -1 Mul sec Add x3 x0 sec Add x3 x0 -1 Mul Mul x0 Pow exp pi Add Mul x0 -2 acos sec Add x3 x0 Add x0 x0 