Pow Add tan x1 acos asech x0 Pow tan Mul Add x0 x0 Mul E 4 Add tan x0 3 
Mul Pow Add tan x1 acos asech x0 Add Pow tan Mul Add x0 x0 Mul E 4 Add tan x0 3 -1 Add Mul Pow tan Mul Add x0 x0 Mul E 4 Add tan x0 3 Mul -1 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech x0 asech x0 -1 Mul Mul Add tan x1 acos asech x0 log Add tan x1 acos asech x0 Mul Pow tan Mul Add x0 x0 Mul E 4 Add Add tan x0 3 -1 Add Mul Add tan x0 3 Mul Pow sec Mul Add x0 x0 Mul E 4 2 Mul Mul E 4 2 Mul Mul tan Mul Add x0 x0 Mul E 4 log tan Mul Add x0 x0 Mul E 4 Pow sec x0 2 