Pow Mul x5 4 Pow Pow x0 Mul -1 acot Add Add x0 -2 sqrt Mul acos sec x0 x4 0.202732554054082 
Mul Pow Mul x5 4 Add Pow Pow x0 Mul -1 acot Add Add x0 -2 sqrt Mul acos sec x0 x4 0.202732554054082 -1 Mul Mul Mul x5 4 log Mul x5 4 Mul Pow Pow x0 Mul -1 acot Add Add x0 -2 sqrt Mul acos sec x0 x4 -0.797267445945918 Mul 0.202732554054082 Mul Pow x0 Add Mul -1 acot Add Add x0 -2 sqrt Mul acos sec x0 x4 -1 Add Mul -1 acot Add Add x0 -2 sqrt Mul acos sec x0 x4 Mul Mul x0 log x0 Mul -1 Mul -1 Mul Add 1 Mul Pow Mul 2 sqrt Mul acos sec x0 x4 -1 Mul x4 Mul -1 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul sec x0 sec x0 -1 Pow Add 1 Mul Add Add x0 -2 sqrt Mul acos sec x0 x4 Add Add x0 -2 sqrt Mul acos sec x0 x4 -1 