Pow x0 sqrt sqrt Pow pi tan Add log Mul Add x1 x1 Add x0 x0 Mul x4 acos E 
Mul Pow x0 Add sqrt sqrt Pow pi tan Add log Mul Add x1 x1 Add x0 x0 Mul x4 acos E -1 Add sqrt sqrt Pow pi tan Add log Mul Add x1 x1 Add x0 x0 Mul x4 acos E Mul Mul x0 log x0 Mul Pow Mul 2 sqrt sqrt Pow pi tan Add log Mul Add x1 x1 Add x0 x0 Mul x4 acos E -1 Mul Pow Mul 2 sqrt Pow pi tan Add log Mul Add x1 x1 Add x0 x0 Mul x4 acos E -1 Mul Pow pi Add tan Add log Mul Add x1 x1 Add x0 x0 Mul x4 acos E -1 Mul Mul pi log pi Mul Pow sec Add log Mul Add x1 x1 Add x0 x0 Mul x4 acos E 2 Mul Mul Add x1 x1 2 Pow Mul Add x1 x1 Add x0 x0 -1 