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