Mul Mul x0 Pow Pow x4 acos Pow x0 4 pi Add sqrt Mul x0 5 sec Pow log x5 x0 
Add Mul Add sqrt Mul x0 5 sec Pow log x5 x0 Add Pow Pow x4 acos Pow x0 4 pi Mul x0 Mul Pow Pow x4 acos Pow x0 4 Add pi -1 Mul pi Mul Pow x4 Add acos Pow x0 4 -1 Mul Mul x4 log x4 Mul -1 Mul Mul Pow x0 3 4 Pow sqrt Add 1 Mul -1 Mul Pow x0 4 Pow x0 4 -1 Mul Mul x0 Pow Pow x4 acos Pow x0 4 pi Add Mul Pow Mul 2 sqrt Mul x0 5 -1 5 Mul Mul tan Pow log x5 x0 sec Pow log x5 x0 Mul Pow log x5 Add x0 -1 Mul log x5 log log x5 