Mul x0 tan asin Pow Mul x0 x0 Mul atan pi Mul -2 x3 
Add tan asin Pow Mul x0 x0 Mul atan pi Mul -2 x3 Mul x0 Mul Pow sec asin Pow Mul x0 x0 Mul atan pi Mul -2 x3 2 Mul Mul Pow Mul x0 x0 Add Mul atan pi Mul -2 x3 -1 Mul Mul atan pi Mul -2 x3 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 x0 Mul atan pi Mul -2 x3 Pow Mul x0 x0 Mul atan pi Mul -2 x3 -1 