Pow Add pi Mul x0 x3 Mul x4 acos Mul x0 sec E 
Mul Pow Add pi Mul x0 x3 Add Mul x4 acos Mul x0 sec E -1 Add Mul Mul x4 acos Mul x0 sec E x3 Mul Mul Add pi Mul x0 x3 log Add pi Mul x0 x3 Mul x4 Mul -1 Mul sec E Pow sqrt Add 1 Mul -1 Mul Mul x0 sec E Mul x0 sec E -1 