Mul x0 acos Mul -1 Pow Add Mul x0 E Pow Add Add -4 asech atan Add asech x4 3 -1 4 x1 
Add acos Mul -1 Pow Add Mul x0 E Pow Add Add -4 asech atan Add asech x4 3 -1 4 x1 Mul x0 Mul -1 Mul Mul -1 Mul Pow Add Mul x0 E Pow Add Add -4 asech atan Add asech x4 3 -1 4 Add x1 -1 Mul x1 E Pow sqrt Add 1 Mul -1 Mul Mul -1 Pow Add Mul x0 E Pow Add Add -4 asech atan Add asech x4 3 -1 4 x1 Mul -1 Pow Add Mul x0 E Pow Add Add -4 asech atan Add asech x4 3 -1 4 x1 -1 